/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/libcxx/test/libcxx/selftest/dsl/ |
H A D | dsl.sh.py | 78 def getSubstitution(self, substitution): member in SetupConfigs 307 origLinkFlags = copy.deepcopy(self.getSubstitution('%{link_flags}')) 311 self.assertIn('-foo', self.getSubstitution('%{compile_flags}')) 312 self.assertEqual(origLinkFlags, self.getSubstitution('%{link_flags}')) 319 self.assertIn('-foo', self.getSubstitution('%{compile_flags}')) 327 self.assertIn('-foo', self.getSubstitution('%{link_flags}')) 335 self.assertIn('-foo', self.getSubstitution('%{link_flags}')) 343 self.assertIn('-hello', self.getSubstitution('%{compile_flags}')) 344 self.assertNotIn('-world', self.getSubstitution('%{compile_flags}')) 346 self.assertIn('-world', self.getSubstitution('%{link_flags}')) [all …]
|
/dports/lang/kawa/kawa-3.1.1/gnu/kawa/util/ |
H A D | PreProcess.java | 413 String getSubstitution(String key) { in getSubstitution() method in PreProcess 445 String TAG = getSubstitution("$TAG$"); in handleArg() 446 if (TAG != null && getSubstitution("$tag$") == null) in handleArg() 448 String ptype = getSubstitution("$ptype$"); in handleArg() 449 if (ptype != null && getSubstitution("$Ptype$") == null) in handleArg() 453 if (getSubstitution("$MASK$") == null) in handleArg() 455 if (getSubstitution("@Abstract") == null) in handleArg() 457 if (getSubstitution("$ZERO$") == null) in handleArg() 459 if (getSubstitution("$RETURN_IF_UNEQUAL$(v1,v2)") == null) in handleArg()
|
/dports/java/jakarta-oro/jakarta-oro-2.0.8/src/java/org/apache/oro/text/regex/ |
H A D | StringSubstitution.java | 115 public String getSubstitution() { return _substitution; } in getSubstitution() method in StringSubstitution 122 public String toString() { return getSubstitution(); } in toString()
|
/dports/lang/maude/maude-2.7.1/src/Higher/ |
H A D | rewriteSequenceSearch.hh | 47 const Substitution* getSubstitution() const; 72 RewriteSequenceSearch::getSubstitution() const in getSubstitution() function in RewriteSequenceSearch
|
H A D | narrowingSequenceSearch.hh | 56 const Substitution* getSubstitution() const; 98 NarrowingSequenceSearch::getSubstitution() const in getSubstitution() function in NarrowingSequenceSearch
|
H A D | narrowingSequenceSearch.cc | 191 &(currentState->getSubstitution()), in findNextNormalForm() 254 &(currentState->getSubstitution()), in findNextInterestingState()
|
H A D | narrowingSearchState.hh | 65 const Substitution& getSubstitution() const;
|
/dports/lang/maude/maude-2.7.1/src/SMT/ |
H A D | SMT_RewriteSequenceSearch.hh | 57 const Substitution* getSubstitution() const; 119 SMT_RewriteSequenceSearch::getSubstitution() const in getSubstitution() function in SMT_RewriteSequenceSearch
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/spi/ |
H A D | DelegatingReplacements.java | 81 …public StructuredGraph getSubstitution(ResolvedJavaMethod method, int invokeBci, boolean trackNode… in getSubstitution() method in DelegatingReplacements 82 … return delegate.getSubstitution(method, invokeBci, trackNodeSourcePosition, replaceePosition); in getSubstitution()
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/spi/ |
H A D | DelegatingReplacements.java | 89 …public StructuredGraph getSubstitution(ResolvedJavaMethod method, int invokeBci, boolean trackNode… in getSubstitution() method in DelegatingReplacements 90 …return delegate.getSubstitution(method, invokeBci, trackNodeSourcePosition, replaceePosition, opti… in getSubstitution()
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/spi/ |
H A D | DelegatingReplacements.java | 96 …public StructuredGraph getSubstitution(ResolvedJavaMethod method, int invokeBci, boolean trackNode… in getSubstitution() method in DelegatingReplacements 97 …return delegate.getSubstitution(method, invokeBci, trackNodeSourcePosition, replaceePosition, opti… in getSubstitution()
|
/dports/devel/llvm12/llvm-project-12.0.1.src/libcxx/test/libcxx/selftest/dsl/ |
H A D | dsl.sh.py | 79 def getSubstitution(self, substitution): member in SetupConfigs 304 origLinkFlags = copy.deepcopy(self.getSubstitution('%{link_flags}')) 308 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}')) 309 self.assertEqual(origLinkFlags, self.getSubstitution('%{link_flags}')) 319 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}'))
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/libcxx/test/libcxx/selftest/dsl/ |
H A D | dsl.sh.py | 79 def getSubstitution(self, substitution): member in SetupConfigs 304 origLinkFlags = copy.deepcopy(self.getSubstitution('%{link_flags}')) 308 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}')) 309 self.assertEqual(origLinkFlags, self.getSubstitution('%{link_flags}')) 319 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}'))
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/libcxx/test/libcxx/selftest/dsl/ |
H A D | dsl.sh.py | 79 def getSubstitution(self, substitution): member in SetupConfigs 304 origLinkFlags = copy.deepcopy(self.getSubstitution('%{link_flags}')) 308 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}')) 309 self.assertEqual(origLinkFlags, self.getSubstitution('%{link_flags}')) 319 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}'))
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/spi/ |
H A D | DelegatingReplacements.java | 107 …public StructuredGraph getSubstitution(ResolvedJavaMethod method, int invokeBci, boolean trackNode… in getSubstitution() method in DelegatingReplacements 109 …return delegate.getSubstitution(method, invokeBci, trackNodeSourcePosition, replaceePosition, allo… in getSubstitution()
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/spi/ |
H A D | DelegatingReplacements.java | 123 …public StructuredGraph getSubstitution(ResolvedJavaMethod method, int invokeBci, boolean trackNode… in getSubstitution() method in DelegatingReplacements 125 …return delegate.getSubstitution(method, invokeBci, trackNodeSourcePosition, replaceePosition, allo… in getSubstitution()
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/libcxx/test/libcxx/selftest/dsl/ |
H A D | dsl.sh.py | 81 def getSubstitution(self, substitution): member in SetupConfigs 306 origLinkFlags = copy.deepcopy(self.getSubstitution('%{link_flags}')) 310 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}')) 311 self.assertEqual(origLinkFlags, self.getSubstitution('%{link_flags}')) 321 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}'))
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/libcxx/test/libcxx/selftest/dsl/ |
H A D | dsl.sh.py | 73 def getSubstitution(self, substitution): member in SetupConfigs 312 origLinkFlags = copy.deepcopy(self.getSubstitution('%{link_flags}')) 316 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}')) 317 self.assertEqual(origLinkFlags, self.getSubstitution('%{link_flags}')) 327 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}'))
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/libcxx/test/libcxx/selftest/dsl/ |
H A D | dsl.sh.py | 81 def getSubstitution(self, substitution): member in SetupConfigs 306 origLinkFlags = copy.deepcopy(self.getSubstitution('%{link_flags}')) 310 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}')) 311 self.assertEqual(origLinkFlags, self.getSubstitution('%{link_flags}')) 321 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}'))
|
/dports/devel/llvm13/llvm-project-13.0.1.src/libcxx/test/libcxx/selftest/dsl/ |
H A D | dsl.sh.py | 81 def getSubstitution(self, substitution): member in SetupConfigs 306 origLinkFlags = copy.deepcopy(self.getSubstitution('%{link_flags}')) 310 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}')) 311 self.assertEqual(origLinkFlags, self.getSubstitution('%{link_flags}')) 321 self.assertIn('-std=c++03', self.getSubstitution('%{compile_flags}'))
|
/dports/math/vampire/vampire-4.5.1/Indexing/ |
H A D | SubstitutionTree_FastGen.cpp | 68 ResultSubstitutionSP getSubstitution(Renaming* resultNormalizer); 350 ResultSubstitutionSP SubstitutionTree::GenMatcher::getSubstitution( in getSubstitution() function in Indexing::SubstitutionTree::GenMatcher 459 … make_pair(&ld,_subst->getSubstitution(&_resultNormalizer)),UnificationConstraintStackSP()); in next()
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/spi/ |
H A D | Replacements.java | 86 …StructuredGraph getSubstitution(ResolvedJavaMethod method, int invokeBci, boolean trackNodeSourceP… in getSubstitution() method
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.nodes/src/org/graalvm/compiler/nodes/spi/ |
H A D | Replacements.java | 86 …StructuredGraph getSubstitution(ResolvedJavaMethod method, int invokeBci, boolean trackNodeSourceP… in getSubstitution() method
|
/dports/lang/maude/maude-2.7.1/src/Meta/ |
H A D | metaSearch.cc | 146 *(state->getSubstitution()), in metaSearch() 333 *(smtState->getSubstitution()), in metaSmtSearch()
|
/dports/lang/maude/maude-2.7.1/src/Mixfix/ |
H A D | search.cc | 148 …UserLevelRewritingContext::printSubstitution(*(smtSearch->getSubstitution()), *smtSearch, smtSearc… in search() 203 UserLevelRewritingContext::printSubstitution(*(state->getSubstitution()), *variableInfo); in doNarrowing() 256 UserLevelRewritingContext::printSubstitution(*(state->getSubstitution()), *variableInfo); in doSearching()
|