This module implements a compiler in order to translate constraints into C code.
|
abbrev. Definition at line 51 of file compile.c. Referenced by comFinitGrammar(), comWriteDeclarations(), and comWriteFinitFunction(). |
|
abbrev. Definition at line 50 of file compile.c. Referenced by comInitGrammar(), comWriteDeclarations(), and comWriteInitFunction(). |
|
type of an Approver Definition at line 89 of file compile.c. Referenced by comApprove(), and comNewApprover(). |
|
|
definition of a |
|
A Pointer to a MakeInfoStruct Definition at line 106 of file compile.c. Referenced by comMakeInfoFree(), and comMakeInfoNew(). |
|
default make settings. This structure bundles all the information that is needed to compile and link a binary |
|
possible return types of formulas, predicates, functions, terms.
Referenced by comReturnTypeOfFormula(), comReturnTypeOfFunction(), comReturnTypeOfPredicate(), comReturnTypeOfTerm(), comTranslateAbs(), comTranslateArithmetics(), comTranslateBetween(), comTranslateChunkHead(), comTranslateConnected(), comTranslateConstraint(), comTranslateDistance(), comTranslateEquation(), comTranslateFormula(), comTranslateGuard(), comTranslateHas(), comTranslateIs(), comTranslateLookup(), comTranslateMatch(), comTranslateMinMax(), comTranslateParens(), comTranslateParent(), comTranslatePhrasequotes(), comTranslatePrint(), comTranslateQuotes(), comTranslateStartStop(), comTranslateSubsumes(), comTranslateTerm(), comTranslateUnder(), and comTranslateUnEquation(). |
|
analyze the currently loaded grammar Definition at line 4582 of file compile.c. References com, comConstraintDepth(), comMaxLookupStrings(), CompilerStruct::maxLookupStrings, and CompilerStruct::maxValues. Referenced by comTranslate(). |
|
approve a compiled grammar Definition at line 5700 of file compile.c. References Approver, CDG_DEFAULT, CDG_ERROR, CDG_WARNING, cdgCtrlCAllowed, cdgCtrlCTrapped, cdgFlush(), cdgNets, cdgPrintf(), cnBuild(), cnDelete(), comCompareNets(), comFreeApprover(), comNewApprover(), ConstraintNet, evalEvaluationMethod, EvalMethodType, FALSE, hkVerbosity, ConstraintNetStruct::id, NULL, ApproverStruct::timer, timerElapsed(), timerStart(), ApproverStruct::totalCompiledBinaryTime, ApproverStruct::totalCompiledUnaryTime, ApproverStruct::totalInterpretedBinaryTime, ApproverStruct::totalInterpretedUnaryTime, and TRUE. Referenced by cmdTesting(). |
|
compare each pair of levelvalues in both networks Definition at line 5308 of file compile.c. References ConstraintNetStruct::cache, CDG_ERROR, cdgCtrlCTrapped, cdgPrintf(), ConstraintViolationStruct::constraint, ConstraintNet, ConstraintViolation, cvCompare(), cvDelete(), evalBinary(), evalEvaluationMethod, FALSE, BadnessStruct::hard, ConstraintViolationStruct::lv1, ConstraintViolationStruct::lv2, BadnessStruct::no, ApproverStruct::noRounds, NULL, ConstraintViolationStruct::penalty, scDelete(), scNew(), scUseCache, BadnessStruct::soft, ApproverStruct::timer, timerElapsed(), timerStart(), ApproverStruct::totalCompiledBinaryTime, ApproverStruct::totalInterpretedBinaryTime, TRUE, and ConstraintNetStruct::values. Referenced by comCompareNets(). |
|
compare each levelvalue in both networks returns TRUE if all are equal, else FALSE Definition at line 5266 of file compile.c. References CDG_ERROR, cdgCtrlCTrapped, cdgPrintf(), comCompareLvs(), comFindComparableLv(), ConstraintNet, FALSE, NULL, TRUE, and ConstraintNetStruct::values. Referenced by comCompareNets(). |
|
compare two levelvalues returns TRUE if equal, else FALSE Definition at line 5157 of file compile.c. References CDG_ERROR, cdgPrintf(), FALSE, NULL, and TRUE. Referenced by comCompareAllLvs(). |
|
compare two constraint networks Definition at line 5643 of file compile.c. References CDG_ERROR, cdgPrintf(), comCompareAllLvPairs(), comCompareAllLvs(), comCompareWithContext(), ConstraintNet, ConstraintNode, FALSE, ConstraintNetStruct::nodes, NULL, TRUE, ConstraintNodeStruct::values, and ConstraintNetStruct::values. Referenced by comApprove(). |
|
compare the nets after applying context_sensitive constraints Definition at line 5473 of file compile.c. References ConstraintNetStruct::cache, CDG_ERROR, cdgCtrlCTrapped, cdgPrintf(), ConstraintViolationStruct::constraint, ConstraintNet, ConstraintViolation, cvCompare(), cvDelete(), evalBinary(), evalEvaluationMethod, FALSE, BadnessStruct::hard, ConstraintViolationStruct::lv1, ConstraintViolationStruct::lv2, BadnessStruct::no, ApproverStruct::noRounds, NULL, ConstraintViolationStruct::penalty, scDelete(), scNew(), scUseCache, BadnessStruct::soft, ApproverStruct::timer, timerElapsed(), timerStart(), ApproverStruct::totalCompiledBinaryTime, ApproverStruct::totalInterpretedBinaryTime, TRUE, and ConstraintNetStruct::values. Referenced by comCompareNets(). |
|
comCompile: entry function to this package.
returns the name of the so file, NULL on failure Definition at line 4922 of file compile.c. References MakeInfoStruct::cc, CompilerStruct::ccFile, CompilerStruct::ccFileName, CDG_DEFAULT, CDG_ERROR, cdgPrintf(), MakeInfoStruct::cFlags, com, comFree(), comMake(), comNew(), comTranslate(), FALSE, MakeInfoStruct::includes, MakeInfoStruct::ld, MakeInfoStruct::ldFlags, MakeInfoStruct::ldLibs, makeInfo, NULL, CompilerStruct::objFileName, CompilerStruct::soFileName, CompilerStruct::translateOnly, and TRUE. Referenced by cmdCompile(). |
|
string representation of a connexion Definition at line 579 of file compile.c. Referenced by comTranslateConnexion(), and comTranslateConstraint(). |
|
compute the number of variables needed to evaluate a constraint Definition at line 4698 of file compile.c. References comFormulaDepth(), comTermDepth(), and max. Referenced by comAnalyzeGrammar(). |
|
string representation of a direction Definition at line 597 of file compile.c. Referenced by comTranslateConstraint(), and comTranslateDirection(). |
|
escape quotes in strings Definition at line 394 of file compile.c. References NULL. Referenced by comTranslateConstraint(), comTranslateEquation(), comTranslateLookup(), comTranslateMatch(), comTranslateSubsumes(), comTranslateUnEquation(), comWriteError(), comWriteInitFunction(), and comWriteWarning(). |
|
finalize the compiler module Definition at line 5087 of file compile.c. References comMakeInfoFree(), and makeInfo. Referenced by cdgFinalize(). |
|
find a lv using the same modifier-lexem, label and modifiee-lexem Definition at line 5123 of file compile.c. References ConstraintNet, NULL, and ConstraintNetStruct::values. Referenced by comCompareAllLvs(). |
|
finalize a dll grammar Definition at line 5065 of file compile.c. References CDG_ERROR, cdgPrintf(), FINIT_GRAMMAR, and NULL. |
|
compute the number of variables needed to evaluate a formula Definition at line 4709 of file compile.c. References comPredicateDepth(), comTermDepth(), and max. Referenced by comConstraintDepth(), and comTranslateFormula(). |
|
string representation of a formula type Definition at line 535 of file compile.c. Referenced by comReturnTypeOfFormula(), and comTranslateFormula(). |
|
destructor for a Compiler Definition at line 297 of file compile.c. References cdgFreeString(), Compiler, CompilerStruct::connexions, CompilerStruct::directions, CompilerStruct::indentStrings, NULL, and CompilerStruct::strings. Referenced by comCompile(). |
|
free an approver Definition at line 5111 of file compile.c. References NULL, ApproverStruct::timer, and timerFree(). Referenced by comApprove(). |
|
compute the number of variables needed to evaluate a function Definition at line 4755 of file compile.c. References comTermDepth(), max, and NULL. Referenced by comTermDepth(). |
|
increase indentation Definition at line 355 of file compile.c. References com, CompilerStruct::indent, CompilerStruct::indentString, CompilerStruct::indentStrings, and min. Referenced by comTranslateArithmetics(), comTranslateConnexion(), comTranslateConstraint(), comTranslateDirection(), comTranslateEquation(), comTranslateFormula(), comTranslateFunction(), comTranslateHas(), comTranslatePredicate(), comTranslateTopPeek(), comTranslateUnEquation(), comWriteDeclarations(), comWriteFinitFunction(), comWriteFunctions(), and comWriteInitFunction(). |
|
get the index of a constraint Definition at line 1238 of file compile.c. References comWriteError(), and NULL. Referenced by comTranslateConstraint(). |
|
get the index of a hierarchy Definition at line 1217 of file compile.c. References comWriteError(), and NULL. Referenced by comTranslateMatch(), and comTranslateSubsumes(). |
|
get index of assigned variable Definition at line 1259 of file compile.c. References com, and CompilerStruct::currentConstraint. Referenced by comTranslateBottomPeek(), comTranslateConnexion(), comTranslateDirection(), comTranslateExists(), comTranslateLexemNodeAccess(), comTranslateLexicalAccess(), comTranslateString(), and comTranslateTopPeek(). |
|
initialize a dll grammar Definition at line 5043 of file compile.c. References CDG_ERROR, cdgPrintf(), FALSE, INIT_GRAMMAR, NULL, and TRUE. |
|
initialize the compiler module Definition at line 5018 of file compile.c. References MakeInfoStruct::cc, MakeInfoStruct::cFlags, comMakeInfoNew(), MakeInfoStruct::includes, MakeInfoStruct::ld, MakeInfoStruct::ldFlags, MakeInfoStruct::ldLibs, makeInfo, and NULL. Referenced by cdgInitialize(). |
|
load a dll grammar Definition at line 3790 of file compile.c. References CDG_ERROR, CDG_INFO, cdgPrintf(), com, NULL, and CompilerStruct::soFileName. Referenced by cmdCompile(). |
|
compile a shared object from the recently translated code Definition at line 3751 of file compile.c. References MakeInfoStruct::cc, CompilerStruct::ccFileName, CDG_DEBUG, CDG_ERROR, CDG_INFO, cdgFlush(), cdgPrintf(), MakeInfoStruct::cFlags, com, FALSE, MakeInfoStruct::includes, MakeInfoStruct::ld, MakeInfoStruct::ldFlags, MakeInfoStruct::ldLibs, makeInfo, NULL, CompilerStruct::objFileName, CompilerStruct::soFileName, and TRUE. Referenced by comCompile(). |
|
destructor of a MakeInfo Definition at line 338 of file compile.c. References MakeInfoStruct::cc, cdgFreeString(), MakeInfoStruct::cFlags, MakeInfoStruct::includes, MakeInfoStruct::ld, MakeInfoStruct::ldFlags, MakeInfoStruct::ldLibs, and MakeInfo. Referenced by comFinalize(). |
|
constructor for a MakeInfo Definition at line 321 of file compile.c. References MakeInfoStruct::cc, MakeInfoStruct::cFlags, MakeInfoStruct::includes, MakeInfoStruct::ld, MakeInfoStruct::ldFlags, MakeInfoStruct::ldLibs, MakeInfo, and NULL. Referenced by comInitialize(). |
|
compute the number of strings needed for evaluationg 'lookup' functions in a constraint Definition at line 4616 of file compile.c. References comMaxLookupStringsInFormula(), comMaxLookupStringsInTerm(), and max. Referenced by comAnalyzeGrammar(). |
|
compute the number of strings needed for evaluationg 'lookup' functions in a formla Definition at line 4627 of file compile.c. References comMaxLookupStringsInTerm(), and max. Referenced by comMaxLookupStrings(). |
|
compute the number of strings needed for evaluationg 'lookup' functions in a term Definition at line 4665 of file compile.c. References NULL. Referenced by comMaxLookupStrings(), and comMaxLookupStringsInFormula(). |
|
constructor for a Compiler Definition at line 249 of file compile.c. References CompilerStruct::ccFileName, Compiler, CompilerStruct::connexions, CompilerStruct::currentConstraint, CompilerStruct::directions, FALSE, CompilerStruct::indent, CompilerStruct::indentString, CompilerStruct::indentStrings, CompilerStruct::needsIndent, NULL, CompilerStruct::objFileName, CompilerStruct::soFileName, CompilerStruct::strings, CompilerStruct::translateOnly, and TRUE. Referenced by comCompile(). |
|
allocate a new approver Definition at line 5094 of file compile.c. References Approver, ApproverStruct::noRounds, ApproverStruct::timer, timerNew(), ApproverStruct::totalCompiledBinaryTime, ApproverStruct::totalCompiledUnaryTime, ApproverStruct::totalInterpretedBinaryTime, and ApproverStruct::totalInterpretedUnaryTime. Referenced by comApprove(). |
|
decrease indentation Definition at line 365 of file compile.c. References com, CompilerStruct::indent, CompilerStruct::indentString, CompilerStruct::indentStrings, and min. Referenced by comTranslateArithmetics(), comTranslateConnexion(), comTranslateConstraint(), comTranslateDirection(), comTranslateEquation(), comTranslateFormula(), comTranslateFunction(), comTranslateHas(), comTranslatePredicate(), comTranslateTopPeek(), comTranslateUnEquation(), comWriteDeclarations(), comWriteFinitFunction(), comWriteFunctions(), and comWriteInitFunction(). |
|
compute the number of variables needed to evaluate a predicate Definition at line 4816 of file compile.c. References comTermDepth(), max, and NULL. Referenced by comFormulaDepth(). |
|
|
|
register a string to be allocated statically later returns the index in strings Definition at line 1272 of file compile.c. References com, and CompilerStruct::strings. Referenced by comTranslateString(). |
|
check the return type of a formula Definition at line 4477 of file compile.c. References comFormulaTypeToString(), comReturnTypeOfPredicate(), comReturnTypeOfTerm(), comReturnTypeToString(), comWriteWarning(), ReturnType, RTBoolean, RTError, RTLexemNode, RTLexemPosition, RTNoError, RTNumber, and RTPeek. Referenced by comTranslateFormula(). |
|
check the return type of a function Definition at line 4137 of file compile.c. References comReturnTypeOfTerm(), comReturnTypeToString(), comWriteError(), comWriteWarning(), FALSE, NULL, ReturnType, RTError, RTLexemNode, RTLexemPosition, RTList, RTNoError, RTNumber, RTPeek, and RTString. Referenced by comReturnTypeOfTerm(). |
|
check the return type of a predicate Definition at line 3820 of file compile.c. References comReturnTypeOfTerm(), comReturnTypeToString(), comWriteError(), comWriteWarning(), NULL, ReturnType, RTBoolean, RTError, RTLexemNode, RTLexemPosition, RTNoError, RTNumber, RTPeek, and RTString. Referenced by comReturnTypeOfFormula(). |
|
|
string representation of a returntype Definition at line 479 of file compile.c. References RTAVNode, RTBoolean, RTConjunction, RTDisjunction, RTError, RTGraphemNode, RTLexemNode, RTLexemPosition, RTList, RTNoError, RTNumber, RTPeek, and RTString. Referenced by comReturnTypeOfFormula(), comReturnTypeOfFunction(), comReturnTypeOfPredicate(), comReturnTypeOfTerm(), comTranslateAbs(), comTranslateArithmetics(), comTranslateChunkHead(), comTranslateDistance(), comTranslateEquation(), comTranslateGuard(), comTranslateStartStop(), and comTranslateUnEquation(). |
|
compute the number of variables needed to evaluate a term Definition at line 4871 of file compile.c. References comFunctionDepth(), max, and NULL. Referenced by comConstraintDepth(), comFormulaDepth(), comFunctionDepth(), and comPredicateDepth(). |
|
string representation of a term type Definition at line 514 of file compile.c. Referenced by comReturnTypeOfTerm(). |
|
translate the current cdg to C Definition at line 3721 of file compile.c. References CompilerStruct::ccFileName, CDG_INFO, cdgFlush(), cdgPrintf(), com, comAnalyzeGrammar(), comTranslateBinaryConstraints(), comTranslateUnaryConstraints(), comWriteDeclarations(), comWriteFunctions(), comWriteHeader(), and TRUE. Referenced by comCompile(). |
|
translate the abs function Definition at line 1482 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comReturnTypeToString(), comTranslateLexicalAccess(), comTranslateNumber(), comTranslateTerm(), comWriteError(), FALSE, ReturnType, RTNoError, RTNumber, RTPeek, and TRUE. Referenced by comTranslateFunction(). |
|
translate the arithmetic term operations Definition at line 2010 of file compile.c. References comIndent(), comOutdent(), comPrint(), comPrintln(), comReturnTypeOfTerm(), comReturnTypeToString(), comTranslateLexicalAccess(), comTranslateNumber(), comTranslateTerm(), comWriteError(), FALSE, ReturnType, RTNoError, RTNumber, RTPeek, and TRUE. Referenced by comTranslateTerm(). |
|
translate the 'between' predicate Definition at line 2634 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexemNodeAccess(), comTranslateNumber(), comTranslateString(), comTranslateTerm(), ReturnType, RTLexemNode, RTLexemPosition, RTNumber, RTString, and TRUE. Referenced by comTranslatePredicate(). |
|
translate each binary constraint into a separate c-function Definition at line 3704 of file compile.c. References com, comTranslateConstraint(), and CompilerStruct::indent. Referenced by comTranslate(). |
|
translate a bottom peek Definition at line 2119 of file compile.c. References comIndexOfVarInfo(), comPrint(), comPrintln(), comTranslateLexicalAccess(), and NULL. Referenced by comTranslateTerm(). |
|
translate the chunk_head predicate Definition at line 2560 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comReturnTypeToString(), comTranslateLexemNodeAccess(), comWriteError(), ReturnType, RTLexemNode, RTLexemPosition, and RTNoError. Referenced by comTranslatePredicate(). |
|
translate the 'connected' predicate Definition at line 2768 of file compile.c. References com, comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexemNodeAccess(), CompilerStruct::currentConstraint, ReturnType, RTLexemNode, and RTLexemPosition. Referenced by comTranslatePredicate(). |
|
translate a connexion in case of the unsymmetric connexions 'Under' & 'Over' a distinction between the order (lv1, lv2) and (lv2, lv1) is made. in the other cases this doesn't matter. Definition at line 3563 of file compile.c. References comConnextionToString(), comIndent(), comIndexOfVarInfo(), comOutdent(), and comPrintln(). Referenced by comTranslateFormula(). |
|
translate a constraint into a c-function Definition at line 3617 of file compile.c. References com, comConnextionToString(), comDirectionToString(), comEscapeQuotes(), comIndent(), comIndexOfConstraint(), comOutdent(), comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateFormula(), comTranslateLexicalAccess(), comTranslateNumber(), comTranslateTerm(), CompilerStruct::currentConstraint, FALSE, NULL, ReturnType, RTNoError, RTPeek, and TRUE. Referenced by comTranslateBinaryConstraints(), and comTranslateUnaryConstraints(). |
|
translate the direction formulas Definition at line 3406 of file compile.c. References comDirectionToString(), comIndent(), comIndexOfVarInfo(), comOutdent(), comPrint(), comPrintln(), and comWriteError(). Referenced by comTranslateFormula(). |
|
translate the distance function Definition at line 1435 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comReturnTypeToString(), comTranslateLexemNodeAccess(), comTranslateTerm(), comWriteError(), FALSE, ReturnType, RTLexemNode, RTLexemPosition, RTNoError, and TRUE. Referenced by comTranslateFunction(). |
|
translate the equal and not equal formulas Definition at line 3061 of file compile.c. References com, comEscapeQuotes(), comIndent(), comOutdent(), comPrint(), comPrintln(), comReturnTypeOfTerm(), comReturnTypeToString(), comTranslateLexemNodeAccess(), comTranslateLexicalAccess(), comTranslateNumber(), comTranslateString(), comTranslateTerm(), comWriteError(), comWriteWarning(), CompilerStruct::currentConstraint, FALSE, ReturnType, RTLexemNode, RTLexemPosition, RTNoError, RTNumber, RTPeek, RTString, and TRUE. Referenced by comTranslateFormula(). |
|
translate the exists predicate Definition at line 2504 of file compile.c. References comIndexOfVarInfo(), comPrint(), comPrintln(), and NULL. Referenced by comTranslatePredicate(). |
|
translate a formula to c code Definition at line 3459 of file compile.c. References com, comFormulaDepth(), comFormulaTypeToString(), comIndent(), comOutdent(), comPrint(), comPrintln(), comReturnTypeOfFormula(), comTranslateConnexion(), comTranslateDirection(), comTranslateEquation(), comTranslatePredicate(), comTranslateUnEquation(), comWriteWarning(), CompilerStruct::currentFormula, ReturnType, RTBoolean, RTError, and RTNoError. Referenced by comTranslateConstraint(). |
|
translate a function to c code Definition at line 1361 of file compile.c. References comIndent(), comOutdent(), comPrint(), comPrintln(), comTranslateAbs(), comTranslateDistance(), comTranslateHeight(), comTranslateLookup(), comTranslateMatch(), comTranslateMinMax(), comTranslateParens(), comTranslateParent(), comTranslatePhrasequotes(), comTranslatePts(), comTranslateQuotes(), and comWriteError(). Referenced by comTranslateTerm(). |
|
translate the root, spec and nonspec guard-predicates Definition at line 2989 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comReturnTypeToString(), comTranslateLexemNodeAccess(), comTranslateTerm(), comWriteError(), ReturnType, RTLexemNode, RTLexemPosition, RTNoError, and TRUE. Referenced by comTranslatePredicate(). |
|
translate the 'has' predicate Definition at line 2818 of file compile.c. References com, comIndent(), comOutdent(), comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexemNodeAccess(), comTranslateLexicalAccess(), comTranslateNumber(), comTranslateString(), comTranslateTerm(), CompilerStruct::currentFormula, FALSE, ReturnType, RTLexemPosition, RTPeek, RTString, and TRUE. Referenced by comTranslatePredicate(). |
|
translate the `height' function Definition at line 1681 of file compile.c. References comPrint(), comPrintln(), comTranslateLexemNodeAccess(), comWriteError(), and NULL. Referenced by comTranslateFunction(). |
|
translate the 'is' predicate Definition at line 2715 of file compile.c. References com, comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexemNodeAccess(), comTranslateString(), comWriteWarning(), CompilerStruct::currentConstraint, ReturnType, RTLexemNode, and RTLexemPosition. Referenced by comTranslatePredicate(). |
|
translate a ^id and @id Definition at line 1292 of file compile.c. References comIndexOfVarInfo(), comPrint(), and comWriteError(). Referenced by comTranslateBetween(), comTranslateChunkHead(), comTranslateConnected(), comTranslateDistance(), comTranslateEquation(), comTranslateGuard(), comTranslateHas(), comTranslateHeight(), comTranslateIs(), comTranslateParens(), comTranslateParent(), comTranslatePhrasequotes(), comTranslatePts(), comTranslateQuotes(), comTranslateStartStop(), and comTranslateUnder(). |
|
translate a lexical access Definition at line 1328 of file compile.c. References comIndexOfVarInfo(), comPrint(), and comWriteError(). Referenced by comTranslateAbs(), comTranslateArithmetics(), comTranslateBottomPeek(), comTranslateConstraint(), comTranslateEquation(), comTranslateHas(), comTranslateLookup(), comTranslateMatch(), comTranslatePrint(), comTranslateSubsumes(), comTranslateTopPeek(), and comTranslateUnEquation(). |
|
translate the lookup function Definition at line 1536 of file compile.c. References com, comEscapeQuotes(), comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexicalAccess(), comTranslateString(), comTranslateTerm(), CompilerStruct::currentConstraint, FALSE, ReturnType, RTNoError, RTPeek, and RTString. Referenced by comTranslateFunction(). |
|
translate the match function Definition at line 1763 of file compile.c. References com, comEscapeQuotes(), comIndexOfHierarchy(), comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexicalAccess(), comTranslateString(), comTranslateTerm(), comWriteError(), CompilerStruct::currentConstraint, FALSE, ReturnType, RTList, RTNoError, RTPeek, RTString, and TRUE. Referenced by comTranslateFunction(). |
|
translate the min and max function Definition at line 1708 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateNumber(), comTranslateTerm(), FALSE, NULL, ReturnType, RTNoError, RTPeek, and TRUE. Referenced by comTranslateFunction(). |
|
translate a number access Definition at line 1902 of file compile.c. References comPrint(). Referenced by comTranslateAbs(), comTranslateArithmetics(), comTranslateBetween(), comTranslateConstraint(), comTranslateEquation(), comTranslateHas(), comTranslateMinMax(), and comTranslateUnEquation(). |
|
translate the parens function Definition at line 1610 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexemNodeAccess(), ReturnType, and RTLexemPosition. Referenced by comTranslateFunction(). |
|
translate the parent function Definition at line 1634 of file compile.c. References com, comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexemNodeAccess(), CompilerStruct::currentConstraint, ReturnType, and RTLexemPosition. Referenced by comTranslateFunction(). |
|
translate the phrasequotes function Definition at line 1512 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexemNodeAccess(), ReturnType, and RTLexemPosition. Referenced by comTranslateFunction(). |
|
translate a predicate to c code Definition at line 2319 of file compile.c. References comIndent(), comOutdent(), comPrint(), comPrintln(), comTranslateBetween(), comTranslateChunkHead(), comTranslateConnected(), comTranslateExists(), comTranslateGuard(), comTranslateHas(), comTranslateIs(), comTranslatePrint(), comTranslateStartStop(), comTranslateSubsumes(), and comTranslateUnder(). Referenced by comTranslateFormula(). |
|
translate the print predicate Definition at line 2294 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexicalAccess(), comTranslateTerm(), FALSE, NULL, ReturnType, RTNoError, RTPeek, and TRUE. Referenced by comTranslatePredicate(). |
|
translate the pts function Definition at line 1662 of file compile.c. References comPrint(), comPrintln(), and comTranslateLexemNodeAccess(). Referenced by comTranslateFunction(). |
|
translate the quotes function Definition at line 1586 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexemNodeAccess(), ReturnType, and RTLexemPosition. Referenced by comTranslateFunction(). |
|
translate the start and stop predicate Definition at line 3024 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comReturnTypeToString(), comTranslateLexemNodeAccess(), comTranslateTerm(), comWriteError(), ReturnType, RTLexemNode, RTLexemPosition, RTNoError, and TRUE. Referenced by comTranslatePredicate(). |
|
translate a string access Definition at line 1916 of file compile.c. References comIndexOfVarInfo(), comPrint(), and comRegisterString(). Referenced by comTranslateBetween(), comTranslateEquation(), comTranslateHas(), comTranslateIs(), comTranslateLookup(), comTranslateMatch(), and comTranslateSubsumes(). |
|
translate the subsumes and compatible predicates Definition at line 2390 of file compile.c. References com, comEscapeQuotes(), comIndexOfHierarchy(), comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexicalAccess(), comTranslateString(), comTranslateTerm(), comWriteError(), CompilerStruct::currentConstraint, ReturnType, RTNoError, RTPeek, RTString, and TRUE. Referenced by comTranslatePredicate(). |
|
translate a term to c code Definition at line 1939 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateArithmetics(), comTranslateBottomPeek(), comTranslateFunction(), comTranslateTopPeek(), FALSE, ReturnType, and RTNoError. Referenced by comTranslateAbs(), comTranslateArithmetics(), comTranslateBetween(), comTranslateConstraint(), comTranslateDistance(), comTranslateEquation(), comTranslateGuard(), comTranslateHas(), comTranslateLookup(), comTranslateMatch(), comTranslateMinMax(), comTranslatePrint(), comTranslateStartStop(), comTranslateSubsumes(), and comTranslateUnEquation(). |
|
translate a top peek Definition at line 2192 of file compile.c. References comIndent(), comIndexOfVarInfo(), comOutdent(), comPrint(), comPrintln(), comTranslateLexicalAccess(), and NULL. Referenced by comTranslateTerm(). |
|
translate each unary constraint into a separate c-function Definition at line 3600 of file compile.c. References com, comTranslateConstraint(), and CompilerStruct::indent. Referenced by comTranslate(). |
|
translate the 'under' predicate Definition at line 2592 of file compile.c. References comPrint(), comPrintln(), comReturnTypeOfTerm(), comTranslateLexemNodeAccess(), comWriteError(), ReturnType, RTLexemNode, and RTNoError. Referenced by comTranslatePredicate(). |
|
translate the <, <=, >, >= formulas Definition at line 3289 of file compile.c. References com, comEscapeQuotes(), comIndent(), comOutdent(), comPrint(), comPrintln(), comReturnTypeOfTerm(), comReturnTypeToString(), comTranslateLexicalAccess(), comTranslateNumber(), comTranslateTerm(), comWriteError(), CompilerStruct::currentConstraint, ReturnType, RTNoError, RTNumber, RTPeek, and TRUE. Referenced by comTranslateFormula(). |
|
string representation of a value type Definition at line 560 of file compile.c. |
|
write declaration section Definition at line 650 of file compile.c. References com, comIndent(), comOutdent(), comPrint(), comPrintln(), FINIT_GRAMMAR, INIT_GRAMMAR, CompilerStruct::maxValues, and NULL. Referenced by comTranslate(). |
|
|
write the grammar finalization function Definition at line 1086 of file compile.c. References com, comIndent(), comOutdent(), comPrintln(), FINIT_GRAMMAR, and CompilerStruct::strings. Referenced by comWriteFunctions(). |
|
write helper functions Definition at line 755 of file compile.c. References com, comIndent(), comOutdent(), comPrintln(), comWriteFinitFunction(), comWriteInitFunction(), and CompilerStruct::indent. Referenced by comTranslate(). |
|
write header Definition at line 612 of file compile.c. References comPrintln(), and NULL. Referenced by comTranslate(). |
|
write the grammar initialization function Definition at line 1122 of file compile.c. References com, comEscapeQuotes(), comIndent(), comOutdent(), comPrintln(), INIT_GRAMMAR, CompilerStruct::maxLookupStrings, NULL, and CompilerStruct::strings. Referenced by comWriteFunctions(). |
|
write a preprocessor warning Definition at line 418 of file compile.c. References CompilerStruct::ccFile, com, comEscapeQuotes(), CompilerStruct::currentConstraint, CompilerStruct::needsIndent, and TRUE. Referenced by comReturnTypeOfFormula(), comReturnTypeOfFunction(), comReturnTypeOfPredicate(), comReturnTypeOfTerm(), comTranslateEquation(), comTranslateFormula(), and comTranslateIs(). |
|
this is allocated on every call to comCompile Definition at line 132 of file compile.c. Referenced by comAnalyzeGrammar(), comCompile(), comIndent(), comIndexOfVarInfo(), comLoad(), comMake(), comOutdent(), comPrint(), comPrintln(), comRegisterString(), comTranslate(), comTranslateBinaryConstraints(), comTranslateConnected(), comTranslateConstraint(), comTranslateEquation(), comTranslateFormula(), comTranslateHas(), comTranslateIs(), comTranslateLookup(), comTranslateMatch(), comTranslateParent(), comTranslateSubsumes(), comTranslateUnaryConstraints(), comTranslateUnEquation(), comWriteDeclarations(), comWriteError(), comWriteFinitFunction(), comWriteFunctions(), comWriteInitFunction(), and comWriteWarning(). |
|
this is allocated once on comInitialize Definition at line 133 of file compile.c. Referenced by comCompile(), comFinalize(), comInitialize(), and comMake(). |