You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
473 lines
14 KiB
473 lines
14 KiB
%{
|
|
#include "bnparse.h"
|
|
// disable warning C4102: unreferenced label
|
|
#pragma warning (disable : 4102)
|
|
%}
|
|
|
|
%token tokenEOF 0
|
|
%token tokenNil
|
|
%token tokenError
|
|
|
|
%token <zsr> tokenIdent tokenString
|
|
%token <ui> tokenInteger
|
|
%token <real> tokenReal
|
|
|
|
/* key words */
|
|
%token tokenArray
|
|
%token tokenContinuous
|
|
%token tokenCreator
|
|
%token tokenDefault
|
|
%token tokenDiscrete
|
|
%token tokenFormat
|
|
%token tokenFunction
|
|
%token tokenImport
|
|
%token tokenIs
|
|
%token tokenKeyword
|
|
%token tokenLeak
|
|
%token tokenNA
|
|
%token tokenName
|
|
%token tokenNamed
|
|
%token tokenNetwork
|
|
%token tokenNode
|
|
%token tokenOf
|
|
%token tokenParent
|
|
%token tokenPosition
|
|
%token tokenProbability
|
|
%token tokenProperties
|
|
%token tokenProperty
|
|
%token tokenPropIdent
|
|
%token tokenStandard
|
|
%token tokenState
|
|
%token tokenType
|
|
%token tokenUser
|
|
%token tokenVersion
|
|
%token tokenWordChoice
|
|
%token tokenWordReal
|
|
%token tokenWordString
|
|
|
|
%token tokenAs
|
|
%token tokenLevel
|
|
%token tokenDomain
|
|
%token tokenDistribution
|
|
%token tokenDecisionGraph
|
|
%token tokenBranch
|
|
%token tokenOn
|
|
%token tokenLeaf
|
|
%token tokenVertex
|
|
%token tokenMultinoulli
|
|
%token tokenMerge
|
|
%token tokenWith
|
|
%token tokenFor
|
|
%token tokenRangeOp /* ".." */
|
|
|
|
%type <ui> proptype dpientry
|
|
%type <integer> signedint
|
|
%type <zsr> tokentoken tokenPropIdent proptypename tokenlistel
|
|
%type <zsr> creator name format
|
|
%type <real> real signedreal version
|
|
%left '+' '-'
|
|
%left '*' '/'
|
|
%right '^'
|
|
%left UNARY
|
|
|
|
%start start
|
|
|
|
%%
|
|
start : { yyclearin; } bnfile
|
|
;
|
|
|
|
bnfile : header blocklst
|
|
;
|
|
|
|
blocklst : block
|
|
| blocklst block
|
|
;
|
|
|
|
block : propblock
|
|
| nodeblock
|
|
| probblock
|
|
| domainblock
|
|
| distblock
|
|
| ignoreblock
|
|
;
|
|
|
|
header : headerhead headerbody
|
|
;
|
|
|
|
headerhead : tokenNetwork tokentoken { SetNetworkSymb($2); }
|
|
| tokenNetwork
|
|
;
|
|
headerbody : '{' { _eBlk = EBLKNET; }
|
|
netdeclst
|
|
'}' { _eBlk = EBLKNONE; }
|
|
;
|
|
|
|
netdeclst : /* empty */
|
|
| netdeclst netdecl
|
|
;
|
|
|
|
netdecl : format { SetFormat($1); }
|
|
| version { SetVersion($1); }
|
|
| creator { SetCreator($1); }
|
|
;
|
|
|
|
conj : ':' /* general conjunction */
|
|
| '='
|
|
| tokenIs
|
|
;
|
|
|
|
prep : tokenWith /* general preposition */
|
|
| tokenOn
|
|
;
|
|
|
|
prepopt : prep /* optional preposition */
|
|
| /* empty */
|
|
;
|
|
|
|
/* header block productions */
|
|
format : tokenFormat conj tokenString ';' { $$ = $3; }
|
|
;
|
|
|
|
version : tokenVersion conj real ';' { $$ = $3; }
|
|
;
|
|
|
|
creator : tokenCreator conj tokenString ';' { $$ = $3; }
|
|
;
|
|
|
|
/* unrecognized block productions */
|
|
ignoreblock : tokenIdent parenexpr_opt { _eBlk = EBLKIGN; WarningSkip($1); }
|
|
'{'
|
|
{ SkipUntil("}"); }
|
|
'}' { _eBlk = EBLKNONE; }
|
|
;
|
|
|
|
parenexpr_opt : /* empty */
|
|
| '(' { SkipUntil(")"); } ')'
|
|
;
|
|
|
|
|
|
/* node block productions */
|
|
nodeblock : tokenNode tokenIdent { _eBlk = EBLKNODE; StartNodeDecl($2); }
|
|
'{'
|
|
ndattrlst
|
|
'}' { CheckNodeInfo(); _eBlk = EBLKNONE; }
|
|
;
|
|
|
|
ndattrlst : /* empty */
|
|
| ndattrlst ndattr ';'
|
|
;
|
|
|
|
ndattr : name
|
|
| type
|
|
| position
|
|
| property
|
|
| error
|
|
;
|
|
|
|
name : tokenName conj tokenString { SetNodeFullName($3); }
|
|
;
|
|
|
|
type : tokenType conj tokenDiscrete statedef
|
|
;
|
|
|
|
statedef : tokenDomain tokentoken { SetNodeDomain($2); }
|
|
| '[' tokenInteger ']' conj_opt { SetNodeCstate($2); } states_opt
|
|
;
|
|
|
|
conj_opt : /* empty */
|
|
| conj
|
|
;
|
|
|
|
states_opt : /* empty */
|
|
| '{' { ClearCstr(); } tokenlist '}' { SetStates(); }
|
|
;
|
|
|
|
tokenlist : /* empty */
|
|
| tokenlistel
|
|
| tokenlist ',' tokenlistel
|
|
;
|
|
|
|
tokenlistel : tokentoken { AddStr($1); }
|
|
;
|
|
tokentoken : tokenIdent
|
|
| tokenString
|
|
;
|
|
|
|
tokenList : '[' { ClearCstr(); } tokenlist ']' ;
|
|
;
|
|
|
|
position : tokenPosition conj '(' signedint ',' signedint ')' { SetNodePosition($4, $6); }
|
|
;
|
|
|
|
/* probability block productions */
|
|
probblock : tokenProbability { _eBlk = EBLKPROB; ClearNodeInfo(); }
|
|
'('
|
|
tokenIdent { SetNodeSymb($4, false); }
|
|
parentlst_opt
|
|
')' { CheckParentList(); }
|
|
probblocktail { _eBlk = EBLKNONE; }
|
|
;
|
|
/* tail of probability block: may be empty or may be a reference to a distribution */
|
|
probblocktail : probblkdistref ';'
|
|
| ';' { EmptyProbEntries(); }
|
|
| '{'
|
|
funcattr_opt
|
|
{ InitProbEntries(); }
|
|
probentrylst
|
|
{ CheckProbEntries(); }
|
|
'}'
|
|
;
|
|
|
|
parentlst_opt : /* empty */
|
|
| '|' parentlst
|
|
| error
|
|
;
|
|
|
|
parentlst : tokenIdent { AddSymb($1); }
|
|
| parentlst ',' tokenIdent { AddSymb($3); }
|
|
;
|
|
|
|
probblkdistref : conj tokenDistribution tokenIdent distplist_opt
|
|
;
|
|
|
|
distplist_opt : /* empty */
|
|
| '(' distplist ')'
|
|
;
|
|
distplist : tokenIdent
|
|
| distplist ',' tokenIdent
|
|
;
|
|
|
|
funcattr_opt : /* empty */
|
|
| tokenFunction conj tokenIdent ';' { CheckCIFunc($3); }
|
|
;
|
|
|
|
probentrylst : /* empty */
|
|
| probentrylst probentry
|
|
;
|
|
|
|
probentry : dpi doproblst ';'
|
|
| dpi pdf ';'
|
|
;
|
|
|
|
dpi : /* empty */ { _vui.clear(); CheckDPI(false); }
|
|
| '(' dodpilst ')' conj { CheckDPI(false); }
|
|
| tokenDefault conj { CheckDPI(true); }
|
|
;
|
|
|
|
dodpilst : { _vui.clear(); } dpilst
|
|
;
|
|
|
|
dpilst : /* empty */
|
|
| dpientry { AddUi($1); }
|
|
| dpilst ',' dpientry { AddUi($3); }
|
|
;
|
|
|
|
dpientry : tokenInteger { $$ = UiDpi($1); }
|
|
| tokenIdent { $$ = UiDpi($1); }
|
|
| tokenString { $$ = UiDpi($1); }
|
|
;
|
|
|
|
doproblst : { _vreal.clear(); } reallst { CheckProbVector(); }
|
|
;
|
|
|
|
pdf : tokenIdent '(' exprlst_opt ')' { CheckPDF($1); }
|
|
;
|
|
|
|
exprlst_opt : /* empty */
|
|
| exprlst
|
|
;
|
|
|
|
exprlst : expr
|
|
| exprlst ',' expr
|
|
;
|
|
|
|
reallst : signedreal { AddReal($1); }
|
|
| reallst ',' signedreal { AddReal($3); }
|
|
;
|
|
|
|
|
|
signedint : '-' tokenInteger { $$ = -INT($2); }
|
|
| '+' tokenInteger { $$ = +INT($2); }
|
|
| tokenInteger { $$ = INT($1); }
|
|
;
|
|
|
|
signedreal : '-' real { $$ = -$2; }
|
|
| '+' real { $$ = $2; }
|
|
| real
|
|
| tokenNA { $$ = -1; }
|
|
;
|
|
|
|
real : tokenReal { $$ = $1; }
|
|
| tokenInteger { $$ = REAL($1); }
|
|
;
|
|
|
|
expr : '(' expr ')'
|
|
| expr '+' expr
|
|
| expr '-' expr
|
|
| expr '*' expr
|
|
| expr '/' expr
|
|
| expr '^' expr
|
|
| tokenIdent { CheckIdent($1); }
|
|
| real
|
|
| tokenString
|
|
| '-' expr %prec UNARY
|
|
| '+' expr %prec UNARY
|
|
;
|
|
|
|
/* property declarations block productions */
|
|
propblock : tokenProperties
|
|
'{' { StartProperties(); }
|
|
propdecllst
|
|
'}' { EndProperties(); }
|
|
;
|
|
|
|
propdecllst : /* empty */
|
|
| propdecllst propitem ';'
|
|
;
|
|
propitem : propimport
|
|
| propdecl
|
|
| property
|
|
;
|
|
propimport : tokenImport tokenStandard { ImportPropStandard(); }
|
|
| tokenImport proptypename { ImportProp($2); }
|
|
;
|
|
|
|
propdecl : tokenType proptypename conj proptype ',' tokenString { AddPropType($2, $4, $6); }
|
|
| tokenType proptypename conj proptype { AddPropType($2, $4, ZSREF()); }
|
|
;
|
|
|
|
proptype : tokenArray tokenOf tokenWordString { $$ = fPropString | fPropArray; }
|
|
| tokenArray tokenOf tokenWordReal { $$ = fPropArray; }
|
|
| tokenWordString { $$ = fPropString; }
|
|
| tokenWordReal { $$ = 0; }
|
|
| tokenWordChoice tokenOf tokenList { $$ = fPropChoice; }
|
|
;
|
|
|
|
/* A duplicate property type declaration will cause a tokenIdent to be read as a tokenPropIdent */
|
|
proptypename : tokenIdent /* ident not previously seen */
|
|
| tokenPropIdent /* error case */
|
|
;
|
|
|
|
/* property item productions */
|
|
property : tokenProperty tokenPropIdent conj { ClearVpv(); } propval { CheckProperty($2); }
|
|
| tokenProperty tokenIdent conj propval /* error case */
|
|
| tokenPropIdent conj { ClearVpv(); } propval { CheckProperty($1); }
|
|
;
|
|
|
|
propval : '[' propvallst ']'
|
|
| propvalitem
|
|
;
|
|
|
|
propvallst : propvalitem
|
|
| propvallst ',' propvalitem
|
|
;
|
|
|
|
propvalitem : tokenString { AddPropVar( $1 ); }
|
|
| tokenIdent { AddPropVar( $1 ); }
|
|
| signedreal { AddPropVar( $1 ); }
|
|
;
|
|
|
|
/* domain declarations */
|
|
domainblock : tokenDomain { ClearDomain(); }
|
|
tokentoken
|
|
domainbody { CheckDomain( $3 ); }
|
|
;
|
|
|
|
/* array of domain specifiers */
|
|
domainbody : '{' domaindeclst '}'
|
|
;
|
|
|
|
domaindeclst : /* empty */
|
|
| domaindec
|
|
| domaindeclst ',' domaindec
|
|
;
|
|
/* range followed by symbolic name or just symbolic name */
|
|
domaindec : rangespec conj tokentoken { AddRange($3, false ); }
|
|
| tokentoken { AddRange($1, true ); }
|
|
;
|
|
|
|
/* Pascal-style range declaration */
|
|
/* variants of range specifiers for open and closed intervals */
|
|
/* identifiers are allowed for use with distributions where domains may be known in advance */
|
|
rangespec : real tokenRangeOp real
|
|
/* 0.0 .. 1.0 */ { SetRanges( true, $1, true, $3 ); }
|
|
| tokentoken tokenRangeOp tokentoken
|
|
/* lname .. uname */ { SetRanges( $1, $3 ); }
|
|
| tokenRangeOp real
|
|
/* .. 1.0 */ { SetRanges( false, 0.0, true, $2 ); }
|
|
| tokenRangeOp tokentoken
|
|
/* .. uname */ { SetRanges( ZSREF(), $2 ); }
|
|
| real tokenRangeOp
|
|
/* 0.0 .. */ { SetRanges( true, $1, false, 0.0 ); }
|
|
| tokentoken tokenRangeOp
|
|
/* lname .. */ { SetRanges( $1, ZSREF() ); }
|
|
| real
|
|
/* 0.0 */ { SetRanges( true, $1, true, $1 ); }
|
|
| tokentoken
|
|
/* name */ { SetRanges( $1, $1 ); }
|
|
;
|
|
|
|
/* List of range specifiers */
|
|
rangedeclst : '(' rangedeclset ')'
|
|
;
|
|
rangedeclset : /* empty */
|
|
| rangespec
|
|
| rangedeclset ',' rangespec
|
|
;
|
|
|
|
/* Advanced distribution declarations */
|
|
/* Only "decision graph" for now */
|
|
|
|
distblock : tokenDistribution /* "distribution" */
|
|
tokenDecisionGraph /* "decisionGraph" */
|
|
distdeclproto /* pseudo-prototype parent list */
|
|
dgraphbody /* body of decision graph items */
|
|
;
|
|
distdeclproto : tokentoken /* name of distribution */
|
|
'('
|
|
distdeclst /* pseudo-parent list */
|
|
')'
|
|
;
|
|
|
|
distdeclst : /* empty */
|
|
| distdecl
|
|
| distdeclst ',' distdecl
|
|
;
|
|
|
|
distdecl : tokenIdent tokenAs tokentoken /* pseudo-parent and domain name*/
|
|
| tokenIdent /* pseudo-parent name only */
|
|
;
|
|
|
|
/* Decision graph/tree item declarations */
|
|
dgraphbody : '{'
|
|
dgraphitemlst
|
|
'}'
|
|
;
|
|
|
|
dgraphitemlst : /* empty */
|
|
| dgraphitem
|
|
| dgraphitemlst ',' dgraphitem
|
|
;
|
|
|
|
/* decision graph/tree item.
|
|
Vertices and leaves may have names for later merging.
|
|
Branches and merges have contraint ranges, which are lists of Pascal-style ranges;
|
|
e.g. ( 3..5, 9, 10, 20.. )
|
|
*/
|
|
dgraphitem : /* vertex */ dgitemlevel tokenVertex tokentoken dgnamed
|
|
| /* branch */ dgitemlevel tokenBranch prepopt rangedeclst
|
|
| /* leaf */ dgitemlevel tokenLeaf dgitemleaf dgnamed
|
|
| /* merge */ dgitemlevel tokenMerge prepopt tokentoken prepopt rangedeclst
|
|
;
|
|
|
|
dgitemlevel : tokenLevel tokenInteger
|
|
;
|
|
|
|
dgitemleaf : tokenMultinoulli '(' reallst ')'
|
|
;
|
|
|
|
/* "named" sub-clause for verticies and leaves */
|
|
dgnamed : /* empty */
|
|
| tokenNamed tokentoken
|
|
;
|
|
%%
|