Exemplos de ATreadFromBinaryString em C++ (Cpp)

Exemplo n.º 1

static void initParsetable(unsigned const char* tableBaf, size_t tableSize) {
  if (tableBaf != NULL) {
    ATerm parseTable = ATreadFromBinaryString(tableBaf, tableSize);
    if (parseTable != NULL) {
      setParseTable(PTBL_ParseTableFromTerm(parseTable));
    }
  }
}

Exemplo n.º 2

Arquivo: acdata_dict.c Projeto: cwi-swat/action-semantics-tools

void init_acdata_dict()
{
  ATermList afuns, terms;

  _acdata_dict = (ATermList)ATreadFromBinaryString(_acdata_dict_baf, _acdata_dict_LEN);

  ATprotect((ATerm *)&_acdata_dict);

  afuns = (ATermList)ATelementAt(_acdata_dict, 0);


  terms = (ATermList)ATelementAt(_acdata_dict, 1);

}

Exemplo n.º 3

Arquivo: terms_dict.c Projeto: codyhanson/sdfmetz

void init_terms_dict()
{
  ATermList afuns, terms;

  _terms_dict = ATreadFromBinaryString(_terms_dict_baf, _terms_dict_LEN);

  ATprotect(&_terms_dict);

  afuns = (ATermList)ATelementAt((ATermList)_terms_dict, 0);


  terms = (ATermList)ATelementAt((ATermList)_terms_dict, 1);

  AnnotatedTrueAndFalse = ATgetFirst(terms);
  terms = ATgetNext(terms);
  DeclareA = ATgetFirst(terms);
  terms = ATgetNext(terms);
  DeclareAB = ATgetFirst(terms);
  terms = ATgetNext(terms);
  DeclareB = ATgetFirst(terms);
  terms = ATgetNext(terms);
  False = ATgetFirst(terms);
  terms = ATgetNext(terms);
  OtherTrueAndFalse = ATgetFirst(terms);
  terms = ATgetNext(terms);
  Ten = ATgetFirst(terms);
  terms = ATgetNext(terms);
  True = ATgetFirst(terms);
  terms = ATgetNext(terms);
  TrueAndFalse = ATgetFirst(terms);
  terms = ATgetNext(terms);
  Twenty = ATgetFirst(terms);
  terms = ATgetNext(terms);
  Two = ATgetFirst(terms);
  terms = ATgetNext(terms);
  dummy = ATgetFirst(terms);
  terms = ATgetNext(terms);
}

Exemplo n.º 4

void init_Graph_dict()
{
  ATermList afuns, terms;

  _Graph_dict = ATreadFromBinaryString(_Graph_dict_baf, _Graph_dict_LEN);

  ATprotect(&_Graph_dict);

  afuns = (ATermList)ATelementAt((ATermList)_Graph_dict, 0);

  afun16 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun16);
  afuns = ATgetNext(afuns);
  afun15 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun15);
  afuns = ATgetNext(afuns);
  afun14 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun14);
  afuns = ATgetNext(afuns);
  afun13 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun13);
  afuns = ATgetNext(afuns);
  afun39 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun39);
  afuns = ATgetNext(afuns);
  afun38 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun38);
  afuns = ATgetNext(afuns);
  afun19 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun19);
  afuns = ATgetNext(afuns);
  afun37 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun37);
  afuns = ATgetNext(afuns);
  afun18 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun18);
  afuns = ATgetNext(afuns);
  afun36 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun36);
  afuns = ATgetNext(afuns);
  afun17 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun17);
  afuns = ATgetNext(afuns);
  afun35 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun35);
  afuns = ATgetNext(afuns);
  afun22 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun22);
  afuns = ATgetNext(afuns);
  afun40 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun40);
  afuns = ATgetNext(afuns);
  afun23 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun23);
  afuns = ATgetNext(afuns);
  afun41 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun41);
  afuns = ATgetNext(afuns);
  afun20 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun20);
  afuns = ATgetNext(afuns);
  afun21 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun21);
  afuns = ATgetNext(afuns);
  afun4 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun4);
  afuns = ATgetNext(afuns);
  afun5 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun5);
  afuns = ATgetNext(afuns);
  afun2 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun2);
  afuns = ATgetNext(afuns);
  afun3 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun3);
  afuns = ATgetNext(afuns);
  afun0 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun0);
  afuns = ATgetNext(afuns);
  afun1 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun1);
  afuns = ATgetNext(afuns);
  afun29 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun29);
  afuns = ATgetNext(afuns);
  afun28 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun28);
  afuns = ATgetNext(afuns);
  afun8 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun8);
  afuns = ATgetNext(afuns);
  afun25 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun25);
  afuns = ATgetNext(afuns);
  afun24 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun24);
  afuns = ATgetNext(afuns);
  afun9 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun9);
  afuns = ATgetNext(afuns);
  afun6 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun6);
  afuns = ATgetNext(afuns);
  afun27 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun27);
  afuns = ATgetNext(afuns);
  afun7 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun7);
  afuns = ATgetNext(afuns);
  afun26 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun26);
  afuns = ATgetNext(afuns);
  afun31 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun31);
  afuns = ATgetNext(afuns);
  afun32 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun32);
  afuns = ATgetNext(afuns);
  afun33 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun33);
  afuns = ATgetNext(afuns);
  afun34 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun34);
  afuns = ATgetNext(afuns);
  afun10 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun10);
  afuns = ATgetNext(afuns);
  afun11 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun11);
  afuns = ATgetNext(afuns);
  afun12 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun12);
  afuns = ATgetNext(afuns);
  afun30 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  ATprotectAFun(afun30);
  afuns = ATgetNext(afuns);

  terms = (ATermList)ATelementAt((ATermList)_Graph_dict, 1);

}

Exemplo n.º 5

Arquivo: AIL_dict.c Projeto: cwi-swat/action-semantics-tools

void init_AIL_dict()
{
  ATermList afuns, terms;

  _AIL_dict = (ATermList)ATreadFromBinaryString(_AIL_dict_baf, _AIL_dict_LEN);

  ATprotect((ATerm *)&_AIL_dict);

  afuns = (ATermList)ATelementAt(_AIL_dict, 0);

  AIL_afun0 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun1 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun2 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun3 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun4 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun5 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun6 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun7 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun8 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun9 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun10 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun11 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun12 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun13 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun14 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun15 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun16 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun17 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun18 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun19 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun20 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun21 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun22 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun23 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun24 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun25 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun26 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun27 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun28 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun29 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun30 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun31 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun32 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun33 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun34 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun35 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun36 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun37 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun38 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun39 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun40 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun41 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun42 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun43 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun44 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);
  AIL_afun45 = ATgetAFun((ATermAppl)ATgetFirst(afuns));
  afuns = ATgetNext(afuns);

  terms = (ATermList)ATelementAt(_AIL_dict, 1);

  AIL_patternStatementListMany = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternStatementListSingle = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternStatementListEmpty = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternProgramProgram = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternArgLabel = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternArgAterm = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternArgCode = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternArgNumber = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternStatementInstruction = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternStatementLabelDef = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternInstructionWithArg = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternInstructionWithoutArg = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternSignatureListMany = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternSignatureListSingle = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternSignatureListEmpty = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternDefinitionDefault = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternSignatureWithoutPattern = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternSignatureWithPattern = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternPatternCode = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternPatternLabel = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternPatternAterm = ATgetFirst(terms);
  terms = ATgetNext(terms);
  AIL_patternPatternInt = ATgetFirst(terms);
  terms = ATgetNext(terms);
}