Home
last modified time | relevance | path

Searched refs:getSubstitution (Results 1 – 25 of 262) sorted by relevance

1234567891011

/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/libcxx/test/libcxx/selftest/dsl/
H A Ddsl.sh.py78 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 DPreProcess.java413 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 DStringSubstitution.java115 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 DrewriteSequenceSearch.hh47 const Substitution* getSubstitution() const;
72 RewriteSequenceSearch::getSubstitution() const in getSubstitution() function in RewriteSequenceSearch
H A DnarrowingSequenceSearch.hh56 const Substitution* getSubstitution() const;
98 NarrowingSequenceSearch::getSubstitution() const in getSubstitution() function in NarrowingSequenceSearch
H A DnarrowingSequenceSearch.cc191 &(currentState->getSubstitution()), in findNextNormalForm()
254 &(currentState->getSubstitution()), in findNextInterestingState()
H A DnarrowingSearchState.hh65 const Substitution& getSubstitution() const;
/dports/lang/maude/maude-2.7.1/src/SMT/
H A DSMT_RewriteSequenceSearch.hh57 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 DDelegatingReplacements.java81 …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 DDelegatingReplacements.java89 …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 DDelegatingReplacements.java96 …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 Ddsl.sh.py79 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 Ddsl.sh.py79 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 Ddsl.sh.py79 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 DDelegatingReplacements.java107 …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 DDelegatingReplacements.java123 …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 Ddsl.sh.py81 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 Ddsl.sh.py73 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 Ddsl.sh.py81 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 Ddsl.sh.py81 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 DSubstitutionTree_FastGen.cpp68 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 DReplacements.java86 …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 DReplacements.java86 …StructuredGraph getSubstitution(ResolvedJavaMethod method, int invokeBci, boolean trackNodeSourceP… in getSubstitution() method
/dports/lang/maude/maude-2.7.1/src/Meta/
H A DmetaSearch.cc146 *(state->getSubstitution()), in metaSearch()
333 *(smtState->getSubstitution()), in metaSmtSearch()
/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A Dsearch.cc148 …UserLevelRewritingContext::printSubstitution(*(smtSearch->getSubstitution()), *smtSearch, smtSearc… in search()
203 UserLevelRewritingContext::printSubstitution(*(state->getSubstitution()), *variableInfo); in doNarrowing()
256 UserLevelRewritingContext::printSubstitution(*(state->getSubstitution()), *variableInfo); in doSearching()

1234567891011