| /dports/devel/splint/splint-3.1.2/src/Headers/ |
| H A D | programNodeList.h | 9 typedef /*@only@*/ programNode o_programNode;
20 { int m_ind; programNode *m_elements = &((x)->elements[0]); \
22 { programNode m_el = *(m_elements++);
28 extern void programNodeList_addh (programNodeList p_s, /*@keep@*/ programNode p_el) ;
|
| H A D | programNode.h | 19 } *programNode; typedef
21 extern void programNode_free (/*@only@*/ /*@null@*/ programNode p_x);
22 extern /*@only@*/ cstring programNode_unparse (programNode p_p);
|
| H A D | claimNode.h | 13 /*@null@*/ programNode body;
|
| H A D | abstract.h | 334 /*@only@*/ /*@null@*/ programNode p_b,
357 extern /*@only@*/ programNode
360 extern /*@only@*/ programNode
|
| H A D | llgrammar_gen.h | 396 /*@only@*/ programNode program;
|
| H A D | llgrammar_gen2.h | 396 /*@only@*/ programNode program;
|
| /dports/devel/splint/splint-3.1.2/src/ |
| H A D | programNodeList.c | 42 s->elements = (programNode *) in programNodeList_new()
52 programNode *newelements; in programNodeList_grow()
55 newelements = (programNode *) dmalloc (sizeof (*newelements) in programNodeList_grow()
68 programNodeList_addh (programNodeList s, /*@keep@*/ programNode el) in programNodeList_addh()
|
| H A D | abstract.c | 1013 /*@only@*/ programNode
1016 programNode n = (programNode) dmalloc (sizeof (*n)); in makeProgramNodeAction()
1023 /*@only@*/ programNode
1026 programNode n = (programNode) dmalloc (sizeof (*n)); in makeProgramNode()
2983 programNode b, lclPredicateNode ensures) in makeClaimNode()
4819 programNode_unparse (programNode p) in programNode_unparse()
4821 if (p != (programNode) 0) in programNode_unparse()
5952 void programNode_free (/*@only@*/ /*@null@*/ programNode x) in programNode_free()
|
| H A D | llgrammar.y | 90 /*@only@*/ programNode program;
764 : /* empty */ { $$ = (programNode)0; }
|
| H A D | llgrammar.c | 493 /*@only@*/ programNode program;
3679 { (yyval.program) = (programNode)0; ;}
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/javascriptcore/JavaScriptCore/runtime/ |
| H A D | Executable.cpp | 88 …RefPtr<ProgramNode> programNode = exec->globalData().parser->parse<ProgramNode>(&exec->globalData(… in checkSyntax() local
89 if (!programNode) in checkSyntax()
98 …RefPtr<ProgramNode> programNode = exec->globalData().parser->parse<ProgramNode>(&exec->globalData(… in compile() local
99 if (!programNode) in compile()
101 recordParse(programNode->features(), programNode->lineNo(), programNode->lastLine()); in compile()
108 …OwnPtr<BytecodeGenerator> generator(new BytecodeGenerator(programNode.get(), globalObject->debugge… in compile()
111 programNode->destroyData(); in compile()
|
| /dports/devel/qt5-scripttools/kde-qtscript-5.15.2p4/src/3rdparty/javascriptcore/JavaScriptCore/runtime/ |
| H A D | Executable.cpp | 88 …RefPtr<ProgramNode> programNode = exec->globalData().parser->parse<ProgramNode>(&exec->globalData(… in checkSyntax() local
89 if (!programNode) in checkSyntax()
98 …RefPtr<ProgramNode> programNode = exec->globalData().parser->parse<ProgramNode>(&exec->globalData(… in compile() local
99 if (!programNode) in compile()
101 recordParse(programNode->features(), programNode->lineNo(), programNode->lastLine()); in compile()
108 …OwnPtr<BytecodeGenerator> generator(new BytecodeGenerator(programNode.get(), globalObject->debugge… in compile()
111 programNode->destroyData(); in compile()
|
| /dports/devel/qt5-script/kde-qtscript-5.15.2p4/src/3rdparty/javascriptcore/JavaScriptCore/runtime/ |
| H A D | Executable.cpp | 88 …RefPtr<ProgramNode> programNode = exec->globalData().parser->parse<ProgramNode>(&exec->globalData(… in checkSyntax() local
89 if (!programNode) in checkSyntax()
98 …RefPtr<ProgramNode> programNode = exec->globalData().parser->parse<ProgramNode>(&exec->globalData(… in compile() local
99 if (!programNode) in compile()
101 recordParse(programNode->features(), programNode->lineNo(), programNode->lastLine()); in compile()
108 …OwnPtr<BytecodeGenerator> generator(new BytecodeGenerator(programNode.get(), globalObject->debugge… in compile()
111 programNode->destroyData(); in compile()
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/webkit/Source/JavaScriptCore/runtime/ |
| H A D | Executable.cpp | 158 …RefPtr<ProgramNode> programNode = globalData->parser->parse<ProgramNode>(lexicalGlobalObject, lexi… in checkSyntax() local
159 if (programNode) in checkSyntax()
172 …RefPtr<ProgramNode> programNode = globalData->parser->parse<ProgramNode>(lexicalGlobalObject, lexi… in compileInternal() local
173 if (!programNode) { in compileInternal()
177 …recordParse(programNode->features(), programNode->hasCapturedVariables(), programNode->lineNo(), p… in compileInternal()
182 …OwnPtr<BytecodeGenerator> generator(adoptPtr(new BytecodeGenerator(programNode.get(), scopeChainNo… in compileInternal()
185 programNode->destroyData(); in compileInternal()
189 programNode->destroyData(); in compileInternal()
|
| /dports/lang/solidity/solidity_0.8.11/libsolidity/formal/ |
| H A D | PredicateInstance.cpp | 64 auto const& contract = dynamic_cast<ContractDefinition const&>(*_pred.programNode()); in constructor()
75 auto const& contract = dynamic_cast<ContractDefinition const&>(*_pred.programNode()); in constructorCall()
94 auto const& function = dynamic_cast<FunctionDefinition const&>(*_pred.programNode()); in function()
104 auto const& function = dynamic_cast<FunctionDefinition const&>(*_pred.programNode()); in functionCall()
|
| H A D | Predicate.h | 100 ASTNode const* programNode() const;
|
| H A D | Predicate.cpp | 108 ASTNode const* Predicate::programNode() const in programNode() function in Predicate
|
| H A D | CHC.cpp | 695 solAssert(ret.programNode() == &_callable, ""); in popInlineFrame()
1723 ASTNode const* node = pred->programNode(); in checkVerificationTargets()
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/javascriptcore/JavaScriptCore/generated/ |
| H A D | Grammar.h | 134 ProgramNode* programNode; member
|
| /dports/devel/qt5-scripttools/kde-qtscript-5.15.2p4/src/3rdparty/javascriptcore/JavaScriptCore/generated/ |
| H A D | Grammar.h | 134 ProgramNode* programNode; member
|
| /dports/devel/qt5-script/kde-qtscript-5.15.2p4/src/3rdparty/javascriptcore/JavaScriptCore/generated/ |
| H A D | Grammar.h | 134 ProgramNode* programNode; member
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/javascriptcore/JavaScriptCore/bytecompiler/ |
| H A D | BytecodeGenerator.cpp | 205 BytecodeGenerator::BytecodeGenerator(ProgramNode* programNode, const Debugger* debugger, const Scop… in BytecodeGenerator() argument
210 , m_scopeNode(programNode) in BytecodeGenerator()
251 const VarStack& varStack = programNode->varStack(); in BytecodeGenerator()
252 const FunctionStack& functionStack = programNode->functionStack(); in BytecodeGenerator()
|
| /dports/devel/qt5-scripttools/kde-qtscript-5.15.2p4/src/3rdparty/javascriptcore/JavaScriptCore/bytecompiler/ |
| H A D | BytecodeGenerator.cpp | 205 BytecodeGenerator::BytecodeGenerator(ProgramNode* programNode, const Debugger* debugger, const Scop… in BytecodeGenerator() argument
210 , m_scopeNode(programNode) in BytecodeGenerator()
251 const VarStack& varStack = programNode->varStack(); in BytecodeGenerator()
252 const FunctionStack& functionStack = programNode->functionStack(); in BytecodeGenerator()
|
| /dports/devel/qt5-script/kde-qtscript-5.15.2p4/src/3rdparty/javascriptcore/JavaScriptCore/bytecompiler/ |
| H A D | BytecodeGenerator.cpp | 205 BytecodeGenerator::BytecodeGenerator(ProgramNode* programNode, const Debugger* debugger, const Scop… in BytecodeGenerator() argument
210 , m_scopeNode(programNode) in BytecodeGenerator()
251 const VarStack& varStack = programNode->varStack(); in BytecodeGenerator()
252 const FunctionStack& functionStack = programNode->functionStack(); in BytecodeGenerator()
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/webkit/Source/JavaScriptCore/bytecompiler/ |
| H A D | BytecodeGenerator.cpp | 201 BytecodeGenerator::BytecodeGenerator(ProgramNode* programNode, ScopeChainNode* scopeChain, SymbolTa… in BytecodeGenerator() argument
207 , m_scopeNode(programNode) in BytecodeGenerator()
254 const VarStack& varStack = programNode->varStack(); in BytecodeGenerator()
255 const FunctionStack& functionStack = programNode->functionStack(); in BytecodeGenerator()
|