| /dports/net/bird2/bird-2.0.8/conf/ |
| H A D | conf.h | 150 #define SYM_VARIABLE 0x100 /* 0x100-0x1ff are variable types */ macro
151 #define SYM_VARIABLE_RANGE SYM_VARIABLE ... (SYM_VARIABLE | 0xff)
|
| H A D | confbase.Y | 46 …case SYM_VARIABLE: cf_assert((sym->class & ~0xff) == SYM_VARIABLE, "Variable name required"); brea… in cf_assert_symbol()
|
| /dports/math/cvc4/CVC4-1.7/src/parser/ |
| H A D | parser.cpp | 90 if (type == SYM_VARIABLE) { in getSymbol()
100 return getSymbol(name, SYM_VARIABLE); in getVariable()
104 return getSymbol(name, SYM_VARIABLE); in getFunction()
521 case SYM_VARIABLE: in isDeclared()
532 checkDeclaration(varName, CHECK_UNDECLARED, SYM_VARIABLE); in reserveSymbolAtAssertionLevel()
549 (type == SYM_VARIABLE ? "variable" : "type") + in checkDeclaration()
557 (type == SYM_VARIABLE ? "variable" : "type") + in checkDeclaration()
|
| H A D | parser.h | 111 SYM_VARIABLE, enumerator
123 case SYM_VARIABLE:
399 bool isDeclared(const std::string& name, SymbolType type = SYM_VARIABLE);
412 SymbolType type = SYM_VARIABLE,
|
| /dports/math/cvc4/CVC4-1.7/src/parser/smt2/ |
| H A D | Smt2.g | 342 symbol[name,CHECK_NONE,SYM_VARIABLE]
369 symbol[name,CHECK_UNDECLARED,SYM_VARIABLE]
639 symbol[fun,CHECK_UNDECLARED,SYM_VARIABLE]
701 ( symbol[name,CHECK_NONE,SYM_VARIABLE] {
938 | symbol[name,CHECK_NONE,SYM_VARIABLE] {
995 | symbol[name,CHECK_NONE,SYM_VARIABLE]
1089 symbol[name,CHECK_NONE,SYM_VARIABLE]
1121 symbol[fname,CHECK_NONE,SYM_VARIABLE]
1687 | symbol[name,CHECK_DECLARED,SYM_VARIABLE]
2747 : symbol[name,check,SYM_VARIABLE]
[all …]
|
| H A D | smt2.h | 289 SymbolType type = SYM_VARIABLE,
|
| /dports/net/bird/bird-1.6.8/conf/ |
| H A D | conf.h | 134 #define SYM_VARIABLE 0x100 /* 0x100-0x1ff are variable types */ macro
|
| /dports/net/bird2/bird-2.0.8/filter/ |
| H A D | config.Y | 407 cf_define_symbol($3, SYM_VARIABLE | $2, offset, $3->scope->slots++);
414 cf_define_symbol($4, SYM_VARIABLE | $3, offset, $4->scope->slots++);
422 cf_define_symbol($3, SYM_VARIABLE | $2, offset, $3->scope->slots++);
917 …CF_SYM_KNOWN { cf_assert_symbol($1, SYM_VARIABLE); $$ = (struct f_lval) { .type = F_LVAL_VARIABLE,…
|
| /dports/math/cvc4/CVC4-1.7/src/parser/cvc/ |
| H A D | Cvc.g | 780 | FORGET_TOK identifier[id,CHECK_NONE,SYM_VARIABLE]
798 | SUBSTITUTE_TOK identifier[id,CHECK_NONE,SYM_VARIABLE] COLON
837 | CALL_TOK identifier[id,CHECK_NONE,SYM_VARIABLE] formula[f]
885 | RECURSIVE_FUNCTION_TOK (identifier[id,CHECK_NONE,SYM_VARIABLE]
988 : identifierList[ids,CHECK_NONE,SYM_VARIABLE] COLON
1000 : identifierList[ids,CHECK_NONE,SYM_VARIABLE] COLON
1111 if(PARSER_STATE->isDeclared(*i, SYM_VARIABLE)) {
1537 : identifier[name,CHECK_NONE,SYM_VARIABLE] EQUAL_TOK formula[e]
1673 : identifier[id,CHECK_NONE,SYM_VARIABLE]
1813 ( identifier[id,CHECK_NONE,SYM_VARIABLE]
[all …]
|
| /dports/math/cvc4/CVC4-1.7/src/parser/smt1/ |
| H A D | Smt1.g | 208 : LOGIC_TOK identifier[name,CHECK_NONE,SYM_VARIABLE]
345 ( identifier[name,CHECK_DECLARED,SYM_VARIABLE]
467 : identifier[name,check,SYM_VARIABLE]
664 PARSER_STATE->checkDeclaration(id, check, SYM_VARIABLE); }
|
| /dports/net/bird/bird-1.6.8/filter/ |
| H A D | config.Y | 434 $2 = cf_define_symbol($2, SYM_VARIABLE | $1, val);
778 case SYM_VARIABLE: $$ = f_new_inst(FI_VARIABLE); break;
934 if (($1->class & ~T_MASK) != SYM_VARIABLE)
|
| H A D | filter.c | 860 if ((sym->class != (SYM_VARIABLE | v2.type)) && (v2.type != T_VOID)) { in interpret()
863 if ((sym->class == (SYM_VARIABLE | T_QUAD)) && (v2.type == T_IP)) { in interpret()
|
| /dports/math/cvc4/CVC4-1.7/src/parser/tptp/ |
| H A D | Tptp.g | 660 } else if(PARSER_STATE->isDeclared(name, SYM_VARIABLE)) {
674 } else if(PARSER_STATE->isDeclared(name, SYM_VARIABLE)) {
|
| /dports/mail/mailfromd/mailfromd-8.10/ |
| H A D | ChangeLog | 11036 …(SYM_VARIABLE): New entry state. (struct symtab.name): Move to the union. All references updated. …
|