Home
last modified time | relevance | path

Searched refs:getContext (Results 1 – 25 of 3413) sorted by relevance

12345678910>>...137

/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/angle/third_party/VK-GL-CTS/src/external/openglcts/modules/gl/
H A Dgl4cTestPackages.cpp129 addChild(new glcts::InternalformatTests(getContext())); in init()
216 addChild(new gl4cts::TextureViewTests(getContext())); in init()
217 addChild(new GL42ShaderTests(getContext())); in init()
248 addChild(new gl4cts::CopyImageTests(getContext())); in init()
308 addChild(new GL44ShaderTests(getContext())); in init()
312 addChild(new gl4cts::MultiBindTests(getContext())); in init()
371 addChild(new GL45ShaderTests(getContext())); in init()
377 addChild(new gl4cts::Sync::Tests(getContext())); in init()
387 addChild(new gl4cts::LimitsTests(getContext())); in init()
388 addChild(new glcts::ShaderGroupVote(getContext())); in init()
[all …]
/dports/math/z3/z3-z3-4.8.13/src/api/java/
H A DSolver.java44 getContext().checkContextMatch(value); in setParameters()
154 getContext().checkContextMatch(ps); in assertAndTrack()
181 getContext().checkContextMatch(p); in assertAndTrack()
211 …ASTVector assrts = new ASTVector(getContext(), Native.solverGetAssertions(getContext().nCtx(), get… in getNumAssertions()
222 …ASTVector assrts = new ASTVector(getContext(), Native.solverGetAssertions(getContext().nCtx(), get… in getAssertions()
274 ASTVector result = new ASTVector(getContext()); in getConsequences()
275 ASTVector asms = new ASTVector(getContext()); in getConsequences()
276 ASTVector vars = new ASTVector(getContext()); in getConsequences()
300 return new Model(getContext(), x); in getModel()
319 return Expr.create(getContext(), x); in getProof()
[all …]
H A DFixedpoint.java44 getContext().checkContextMatch(value); in setParameters()
83 getContext().checkContextMatch(f); in registerRelation()
96 getContext().checkContextMatch(rule); in addRule()
107 getContext().checkContextMatch(pred); in addFact()
122 getContext().checkContextMatch(query); in query()
168 getContext().checkContextMatch(rule); in updateRule()
264 …ASTVector v = new ASTVector(getContext(), Native.fixedpointGetRules(getContext().nCtx(), getNative… in getRules()
275 …ASTVector v = new ASTVector(getContext(), Native.fixedpointGetAssertions(getContext().nCtx(), getN… in getAssertions()
297 …ASTVector av = new ASTVector(getContext(), Native.fixedpointFromFile(getContext().nCtx(), getNativ… in ParseFile()
308 …ASTVector av = new ASTVector(getContext(), Native.fixedpointFromString(getContext().nCtx(), getNat… in ParseString()
[all …]
H A DOptimize.java53 …return new ParamDescrs(getContext(), Native.optimizeGetParamDescrs(getContext().nCtx(), getNativeO… in getParameterDescriptions()
92 getContext().checkContextMatch(p); in AssertAndTrack()
189 Symbol s = getContext().mkSymbol(group); in AssertSoft()
204 getContext().nCtx(), in Check()
210 getContext().nCtx(), in Check()
256 return new Model(getContext(), x); in getModel()
299 …return (Expr<R>) Expr.create(getContext(), Native.optimizeGetLower(getContext().nCtx(), getNativeO… in GetLower()
307 …return (Expr<R>) Expr.create(getContext(), Native.optimizeGetUpper(getContext().nCtx(), getNativeO… in GetUpper()
338 getContext(), nativeVec in unpackObjectiveValueVector()
403 …return new Statistics(getContext(), Native.optimizeGetStatistics(getContext().nCtx(), getNativeObj… in getStatistics()
[all …]
H A DModel.java38 getContext().checkContextMatch(a); in getConstInterp()
53 getContext().checkContextMatch(f); in getConstInterp()
63 return (Expr<R>) Expr.create(getContext(), n); in getConstInterp()
76 getContext().checkContextMatch(f); in getFuncInterp()
110 return new FuncInterp<>(getContext(), n); in getFuncInterp()
132 res[i] = new FuncDecl<>(getContext(), Native.modelGetConstDecl(getContext() in getConstDecls()
155 res[i] = new FuncDecl<>(getContext(), Native.modelGetFuncDecl(getContext() in getFuncDecls()
172 res[i] = new FuncDecl<>(getContext(), Native.modelGetConstDecl(getContext() in getDecls()
176 getContext().nCtx(), getNativeObject(), i)); in getDecls()
255 res[i] = Sort.create(getContext(), in getSorts()
[all …]
H A DParams.java30 Native.paramsSetBool(getContext().nCtx(), getNativeObject(), in add()
39 Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), in add()
49 Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), in add()
51 getContext().mkSymbol(value).getNativeObject()); in add()
69 Native.paramsSetBool(getContext().nCtx(), getNativeObject(), in add()
78 Native.paramsSetUint(getContext().nCtx(), getNativeObject(), getContext() in add()
87 Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), getContext() in add()
96 Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), getContext() in add()
107 getContext().mkSymbol(name).getNativeObject(), in add()
108 getContext().mkSymbol(value).getNativeObject()); in add()
[all …]
H A DGoal.java82 getContext().checkContextMatch(constraints); in add()
85 Native.goalAssert(getContext().nCtx(), getNativeObject(), in add()
113 Native.goalReset(getContext().nCtx(), getNativeObject()); in reset()
134 …res[i] = (BoolExpr) Expr.create(getContext(), Native.goalFormula(getContext().nCtx(), getNativeObj… in getFormulas()
183 Tactic t = getContext().mkTactic("simplify"); in simplify()
199 Tactic t = getContext().mkTactic("simplify"); in simplify()
225 return getContext().mkTrue(); in AsBoolExpr()
229 return getContext().mkAnd(getFormulas()); in AsBoolExpr()
252 return new Model(getContext(), in convertModel()
260 Native.goalIncRef(getContext().nCtx(), getNativeObject()); in incRef()
[all …]
H A DFPNum.java31 if (!Native.fpaGetNumeralSign(getContext().nCtx(), getNativeObject(), res)) in getSign()
42 …return new BitVecExpr(getContext(), Native.fpaGetNumeralSignBv(getContext().nCtx(), getNativeObjec… in getSignBV()
76 …return new BitVecExpr(getContext(), Native.fpaGetNumeralSignificandBv(getContext().nCtx(), getNati… in getSignificandBV()
106 …return new BitVecExpr(getContext(), Native.fpaGetNumeralExponentBv(getContext().nCtx(), getNativeO… in getExponentBV()
117 return Native.fpaIsNumeralNan(getContext().nCtx(), getNativeObject()); in isNaN()
127 return Native.fpaIsNumeralInf(getContext().nCtx(), getNativeObject()); in isInf()
137 return Native.fpaIsNumeralZero(getContext().nCtx(), getNativeObject()); in isZero()
147 return Native.fpaIsNumeralNormal(getContext().nCtx(), getNativeObject()); in isNormal()
167 return Native.fpaIsNumeralPositive(getContext().nCtx(), getNativeObject()); in isPositive()
177 return Native.fpaIsNumeralNegative(getContext().nCtx(), getNativeObject()); in isNegative()
[all …]
H A DFuncDecl.java40 (getContext().nCtx() == other.getContext().nCtx()) && in equals()
42 getContext().nCtx(), in equals()
102 res[i] = Sort.create(getContext(), in getDomain()
113 return (R) Sort.create(getContext(), in getRange()
132 return Symbol.create(getContext(), in getName()
164 getContext().nCtx(), getNativeObject(), i)); in getParameters()
168 .getDeclSymbolParameter(getContext().nCtx(), in getParameters()
177 res[i] = new Parameter(k, new AST(getContext(), in getParameters()
188 getContext().nCtx(), getNativeObject(), i)); in getParameters()
376 getContext().checkContextMatch(args); in apply()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/java/
H A DSolver.java44 getContext().checkContextMatch(value); in setParameters()
154 getContext().checkContextMatch(ps); in assertAndTrack()
181 getContext().checkContextMatch(p); in assertAndTrack()
211 …ASTVector assrts = new ASTVector(getContext(), Native.solverGetAssertions(getContext().nCtx(), get… in getNumAssertions()
222 …ASTVector assrts = new ASTVector(getContext(), Native.solverGetAssertions(getContext().nCtx(), get… in getAssertions()
274 ASTVector result = new ASTVector(getContext()); in getConsequences()
275 ASTVector asms = new ASTVector(getContext()); in getConsequences()
276 ASTVector vars = new ASTVector(getContext()); in getConsequences()
300 return new Model(getContext(), x); in getModel()
319 return Expr.create(getContext(), x); in getProof()
[all …]
H A DFixedpoint.java44 getContext().checkContextMatch(value); in setParameters()
83 getContext().checkContextMatch(f); in registerRelation()
96 getContext().checkContextMatch(rule); in addRule()
107 getContext().checkContextMatch(pred); in addFact()
122 getContext().checkContextMatch(query); in query()
168 getContext().checkContextMatch(rule); in updateRule()
264 …ASTVector v = new ASTVector(getContext(), Native.fixedpointGetRules(getContext().nCtx(), getNative… in getRules()
275 …ASTVector v = new ASTVector(getContext(), Native.fixedpointGetAssertions(getContext().nCtx(), getN… in getAssertions()
297 …ASTVector av = new ASTVector(getContext(), Native.fixedpointFromFile(getContext().nCtx(), getNativ… in ParseFile()
308 …ASTVector av = new ASTVector(getContext(), Native.fixedpointFromString(getContext().nCtx(), getNat… in ParseString()
[all …]
H A DOptimize.java53 …return new ParamDescrs(getContext(), Native.optimizeGetParamDescrs(getContext().nCtx(), getNativeO… in getParameterDescriptions()
61 getContext().checkContextMatch(constraints); in Assert()
156 Symbol s = getContext().mkSymbol(group); in AssertSoft()
171 getContext().nCtx(), in Check()
177 getContext().nCtx(), in Check()
223 return new Model(getContext(), x); in getModel()
266 …return (Expr<R>) Expr.create(getContext(), Native.optimizeGetLower(getContext().nCtx(), getNativeO… in GetLower()
274 …return (Expr<R>) Expr.create(getContext(), Native.optimizeGetUpper(getContext().nCtx(), getNativeO… in GetUpper()
305 getContext(), nativeVec in unpackObjectiveValueVector()
370 …return new Statistics(getContext(), Native.optimizeGetStatistics(getContext().nCtx(), getNativeObj… in getStatistics()
[all …]
H A DModel.java38 getContext().checkContextMatch(a); in getConstInterp()
53 getContext().checkContextMatch(f); in getConstInterp()
63 return (Expr<R>) Expr.create(getContext(), n); in getConstInterp()
76 getContext().checkContextMatch(f); in getFuncInterp()
110 return new FuncInterp<>(getContext(), n); in getFuncInterp()
132 res[i] = new FuncDecl<>(getContext(), Native.modelGetConstDecl(getContext() in getConstDecls()
155 res[i] = new FuncDecl<>(getContext(), Native.modelGetFuncDecl(getContext() in getFuncDecls()
172 res[i] = new FuncDecl<>(getContext(), Native.modelGetConstDecl(getContext() in getDecls()
176 getContext().nCtx(), getNativeObject(), i)); in getDecls()
255 res[i] = Sort.create(getContext(), in getSorts()
[all …]
H A DParams.java30 Native.paramsSetBool(getContext().nCtx(), getNativeObject(), in add()
39 Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), in add()
49 Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), in add()
51 getContext().mkSymbol(value).getNativeObject()); in add()
69 Native.paramsSetBool(getContext().nCtx(), getNativeObject(), in add()
78 Native.paramsSetUint(getContext().nCtx(), getNativeObject(), getContext() in add()
87 Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), getContext() in add()
96 Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), getContext() in add()
107 getContext().mkSymbol(name).getNativeObject(), in add()
108 getContext().mkSymbol(value).getNativeObject()); in add()
[all …]
H A DGoal.java82 getContext().checkContextMatch(constraints); in add()
85 Native.goalAssert(getContext().nCtx(), getNativeObject(), in add()
113 Native.goalReset(getContext().nCtx(), getNativeObject()); in reset()
134 …res[i] = (BoolExpr) Expr.create(getContext(), Native.goalFormula(getContext().nCtx(), getNativeObj… in getFormulas()
183 Tactic t = getContext().mkTactic("simplify"); in simplify()
199 Tactic t = getContext().mkTactic("simplify"); in simplify()
225 return getContext().mkTrue(); in AsBoolExpr()
229 return getContext().mkAnd(getFormulas()); in AsBoolExpr()
252 return new Model(getContext(), in convertModel()
260 Native.goalIncRef(getContext().nCtx(), getNativeObject()); in incRef()
[all …]
H A DFPNum.java31 if (!Native.fpaGetNumeralSign(getContext().nCtx(), getNativeObject(), res)) in getSign()
42 …return new BitVecExpr(getContext(), Native.fpaGetNumeralSignBv(getContext().nCtx(), getNativeObjec… in getSignBV()
76 …return new BitVecExpr(getContext(), Native.fpaGetNumeralSignificandBv(getContext().nCtx(), getNati… in getSignificandBV()
106 …return new BitVecExpr(getContext(), Native.fpaGetNumeralExponentBv(getContext().nCtx(), getNativeO… in getExponentBV()
117 return Native.fpaIsNumeralNan(getContext().nCtx(), getNativeObject()); in isNaN()
127 return Native.fpaIsNumeralInf(getContext().nCtx(), getNativeObject()); in isInf()
137 return Native.fpaIsNumeralZero(getContext().nCtx(), getNativeObject()); in isZero()
147 return Native.fpaIsNumeralNormal(getContext().nCtx(), getNativeObject()); in isNormal()
167 return Native.fpaIsNumeralPositive(getContext().nCtx(), getNativeObject()); in isPositive()
177 return Native.fpaIsNumeralNegative(getContext().nCtx(), getNativeObject()); in isNegative()
[all …]
H A DFuncDecl.java40 (getContext().nCtx() == other.getContext().nCtx()) && in equals()
42 getContext().nCtx(), in equals()
102 res[i] = Sort.create(getContext(), in getDomain()
113 return (R) Sort.create(getContext(), in getRange()
132 return Symbol.create(getContext(), in getName()
164 getContext().nCtx(), getNativeObject(), i)); in getParameters()
168 .getDeclSymbolParameter(getContext().nCtx(), in getParameters()
177 res[i] = new Parameter(k, new AST(getContext(), in getParameters()
188 getContext().nCtx(), getNativeObject(), i)); in getParameters()
376 getContext().checkContextMatch(args); in apply()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/angle/third_party/VK-GL-CTS/src/external/openglcts/modules/gles31/
H A Des31cTestPackage.cpp108 …glu::resetState(m_testPackage.getContext().getRenderContext(), m_testPackage.getContext().getConte… in init()
117 …glu::resetState(m_testPackage.getContext().getRenderContext(), m_testPackage.getContext().getConte… in deinit()
137 m_testPackage.getContext().getRenderContext().postIterate(); in iterate()
191 coreGroup->addChild(new glcts::TextureGatherTests(getContext())); in init()
202 coreGroup->addChild(new glcts::ShaderMacroTests(getContext())); in init()
204 coreGroup->addChild(new glcts::ComputeShaderTests(getContext())); in init()
212 coreGroup->addChild(new glcts::PolygonOffsetClamp(getContext())); in init()
213 coreGroup->addChild(new glcts::ShaderGroupVote(getContext())); in init()
214 coreGroup->addChild(new glcts::InternalformatTests(getContext())); in init()
215 coreGroup->addChild(new glcts::NearestEdgeCases(getContext())); in init()
[all …]
/dports/deskutils/taskwarrior/taskwarrior-2.6.1/src/commands/
H A DCmdSync.cpp110 File ca (Context::getContext ().config.get ("taskd.ca")); in execute()
133 Context::getContext ().tdb2.backlog._file.truncate (); in execute()
170 if (Context::getContext ().verbose ("sync")) in execute()
190 if (Context::getContext ().color ()) in execute()
204 Context::getContext ().tdb2.all_tasks (); in execute()
220 if (Context::getContext ().verbose ("sync")) in execute()
231 if (Context::getContext ().verbose ("sync")) in execute()
304 if (Context::getContext ().verbose ("footnote")) in execute()
307 Context::getContext ().debug (to_be_displayed); in execute()
324 if (Context::getContext ().verbose ("sync")) in execute()
[all …]
H A DCmdCustom.cpp69 auto config = Context::getContext ().config; in uses_context()
142 view.width (Context::getContext ().getWidth ()); in execute()
147 if (Context::getContext ().color ()) in execute()
197 if (Context::getContext ().verbose ("label")) in execute()
199 … if (Context::getContext ().color () && Context::getContext ().config.getBoolean ("fontunderline")) in execute()
214 … + (Context::getContext ().verbose ("footnote") ? Context::getContext ().footnotes.size () : 0) in execute()
230 if (Context::getContext ().verbose ("affected")) in execute()
248 Context::getContext ().footnote ("No matches."); in execute()
267 if (Context::getContext ().verbose ("footnote")) in execute()
268 Context::getContext ().footnote (NEWS_NOTICE); in execute()
[all …]
/dports/security/clamav-lts/clamav-0.103.5/libclamav/c++/llvm/lib/CodeGen/
H A DTargetLoweringObjectFileImpl.cpp262 return getContext().getELFSection(SectionName, in getExplicitSectionGlobal()
823 getContext().getCOFFSection(".text", in Initialize()
829 getContext().getCOFFSection(".data", in Initialize()
835 getContext().getCOFFSection(".rdata", in Initialize()
840 getContext().getCOFFSection(".ctors", in Initialize()
846 getContext().getCOFFSection(".dtors", in Initialize()
862 getContext().getCOFFSection(".eh_frame", in Initialize()
875 getContext().getCOFFSection(".debug_info", in Initialize()
900 getContext().getCOFFSection(".debug_str", in Initialize()
905 getContext().getCOFFSection(".debug_loc", in Initialize()
[all …]
/dports/deskutils/ausweisapp2/AusweisApp2-1.22.2/src/workflows/base/states/
H A DStateEstablishPaceChannel.cpp25 if (getContext()->getStatus().isError()) in run()
58 password = getContext()->getCan().toLatin1(); in run()
62 password = getContext()->getPin().toLatin1(); in run()
94 getContext()->resetPacePasswords(); in run()
137 getContext()->resetLastPaceResult(); in abort()
159 getContext()->handleWrongNpaPosition(); in handleNpaPosition()
164 getContext()->setNpaPositionVerified(); in handleNpaPosition()
178 getContext()->setLastPaceResult(returnCode); in onEstablishConnectionDone()
185 getContext()->setExpectedRetryCounter(3); in onEstablishConnectionDone()
190 getContext()->resetPacePasswords(); in onEstablishConnectionDone()
[all …]
/dports/net/kea/kea-2.0.1/src/bin/dhcp4/tests/
H A Ddora_unittest.cc876 resp = client.getContext().response_; in selectingMultipleClients()
886 resp = client.getContext().response_; in selectingMultipleClients()
934 resp = client.getContext().response_; in selectingRequestAddress()
988 resp = client.getContext().response_; in selectingRequestNonMatchingAddress()
1039 resp = client.getContext().response_; in initRebootRequest()
1055 resp = client.getContext().response_; in initRebootRequest()
1079 resp = client.getContext().response_; in initRebootRequest()
1125 resp = client.getContext().response_; in authoritative()
2632 ASSERT_TRUE(lease->getContext()); in storeExtendedInfoEnabled()
2638 ss << *(lease->getContext()); in storeExtendedInfoEnabled()
[all …]
/dports/www/mediawiki137/mediawiki-1.37.1/includes/context/
H A DContextSource.php47 public function getContext() {
73 return $this->getContext()->getConfig();
82 return $this->getContext()->getRequest();
91 return $this->getContext()->getTitle();
118 return $this->getContext()->getWikiPage();
127 return $this->getContext()->getOutput();
137 return $this->getContext()->getUser();
145 return $this->getContext()->getAuthority();
154 return $this->getContext()->getLanguage();
163 return $this->getContext()->getSkin();
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/angle/third_party/VK-GL-CTS/src/external/openglcts/modules/gles32/
H A Des32cTestPackage.cpp99 …glu::resetState(m_testPackage.getContext().getRenderContext(), m_testPackage.getContext().getConte… in deinit()
104 tcu::TestContext& testCtx = m_testPackage.getContext().getTestContext(); in iterate()
155 addChild(new deqp::InfoTests(getContext())); in init()
165 coreGroup->addChild(new glcts::GeometryShaderTests(getContext(), extParams)); in init()
166 coreGroup->addChild(new glcts::GPUShader5Tests(getContext(), extParams)); in init()
170 coreGroup->addChild(new glcts::TextureBufferTests(getContext(), extParams)); in init()
172 coreGroup->addChild(new glcts::ShaderConstExprTests(getContext())); in init()
173 coreGroup->addChild(new glcts::ShaderMacroTests(getContext())); in init()
175 coreGroup->addChild(new glcts::CopyImageTests(getContext())); in init()
176 coreGroup->addChild(new glcts::InternalformatTests(getContext())); in init()
[all …]

12345678910>>...137