/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/angle/third_party/VK-GL-CTS/src/external/openglcts/modules/gl/ |
H A D | gl4cTestPackages.cpp | 129 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 D | Solver.java | 44 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 D | Fixedpoint.java | 44 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 D | Optimize.java | 53 …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 D | Model.java | 38 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 D | Params.java | 30 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 D | Goal.java | 82 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 D | FPNum.java | 31 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 D | FuncDecl.java | 40 (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 D | Solver.java | 44 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 D | Fixedpoint.java | 44 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 D | Optimize.java | 53 …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 D | Model.java | 38 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 D | Params.java | 30 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 D | Goal.java | 82 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 D | FPNum.java | 31 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 D | FuncDecl.java | 40 (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 D | es31cTestPackage.cpp | 108 …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 D | CmdSync.cpp | 110 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 D | CmdCustom.cpp | 69 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 D | TargetLoweringObjectFileImpl.cpp | 262 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 D | StateEstablishPaceChannel.cpp | 25 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 D | dora_unittest.cc | 876 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 D | ContextSource.php | 47 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 D | es32cTestPackage.cpp | 99 …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 …]
|