| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | Signature.cpp | 860 void Signature::addToDistinctGroup(unsigned constantSymbol, unsigned groupId) in addToDistinctGroup() argument
864 Symbol* sym = getFunction(constantSymbol); in addToDistinctGroup()
865 sym->addToDistinctGroup(groupId,constantSymbol); in addToDistinctGroup()
|
| H A D | Signature.hpp | 476 void addToDistinctGroup(unsigned constantSymbol, unsigned groupId);
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.base/share/classes/jdk/internal/org/objectweb/asm/ |
| H A D | MethodWriter.java | 1321 Symbol constantSymbol = symbolTable.addConstant(value); in visitLdcInsn() local
1322 int constantIndex = constantSymbol.index; in visitLdcInsn()
1325 constantSymbol.tag == Symbol.CONSTANT_LONG_TAG in visitLdcInsn()
1326 || constantSymbol.tag == Symbol.CONSTANT_DOUBLE_TAG in visitLdcInsn()
1327 || (constantSymbol.tag == Symbol.CONSTANT_DYNAMIC_TAG in visitLdcInsn()
1328 && ((firstDescriptorChar = constantSymbol.value.charAt(0)) == 'J' in visitLdcInsn()
1340 currentBasicBlock.frame.execute(Opcodes.LDC, 0, constantSymbol, symbolTable); in visitLdcInsn()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.base/share/classes/jdk/internal/org/objectweb/asm/ |
| H A D | MethodWriter.java | 1310 Symbol constantSymbol = symbolTable.addConstant(value); in visitLdcInsn() local
1311 int constantIndex = constantSymbol.index; in visitLdcInsn()
1314 constantSymbol.tag == Symbol.CONSTANT_LONG_TAG in visitLdcInsn()
1315 || constantSymbol.tag == Symbol.CONSTANT_DOUBLE_TAG in visitLdcInsn()
1316 || (constantSymbol.tag == Symbol.CONSTANT_DYNAMIC_TAG in visitLdcInsn()
1317 && ((firstDescriptorChar = constantSymbol.value.charAt(0)) == 'J' in visitLdcInsn()
1329 currentBasicBlock.frame.execute(Opcodes.LDC, 0, constantSymbol, symbolTable); in visitLdcInsn()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.base/share/classes/jdk/internal/org/objectweb/asm/ |
| H A D | MethodWriter.java | 1310 Symbol constantSymbol = symbolTable.addConstant(value); in visitLdcInsn() local
1311 int constantIndex = constantSymbol.index; in visitLdcInsn()
1314 constantSymbol.tag == Symbol.CONSTANT_LONG_TAG in visitLdcInsn()
1315 || constantSymbol.tag == Symbol.CONSTANT_DOUBLE_TAG in visitLdcInsn()
1316 || (constantSymbol.tag == Symbol.CONSTANT_DYNAMIC_TAG in visitLdcInsn()
1317 && ((firstDescriptorChar = constantSymbol.value.charAt(0)) == 'J' in visitLdcInsn()
1329 currentBasicBlock.frame.execute(Opcodes.LDC, 0, constantSymbol, symbolTable); in visitLdcInsn()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.base/share/classes/jdk/internal/org/objectweb/asm/ |
| H A D | MethodWriter.java | 1321 Symbol constantSymbol = symbolTable.addConstant(value); in visitLdcInsn() local
1322 int constantIndex = constantSymbol.index; in visitLdcInsn()
1325 constantSymbol.tag == Symbol.CONSTANT_LONG_TAG in visitLdcInsn()
1326 || constantSymbol.tag == Symbol.CONSTANT_DOUBLE_TAG in visitLdcInsn()
1327 || (constantSymbol.tag == Symbol.CONSTANT_DYNAMIC_TAG in visitLdcInsn()
1328 && ((firstDescriptorChar = constantSymbol.value.charAt(0)) == 'J' in visitLdcInsn()
1340 currentBasicBlock.frame.execute(Opcodes.LDC, 0, constantSymbol, symbolTable); in visitLdcInsn()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.base/share/classes/jdk/internal/org/objectweb/asm/ |
| H A D | MethodWriter.java | 1310 Symbol constantSymbol = symbolTable.addConstant(value); in visitLdcInsn() local
1311 int constantIndex = constantSymbol.index; in visitLdcInsn()
1314 constantSymbol.tag == Symbol.CONSTANT_LONG_TAG in visitLdcInsn()
1315 || constantSymbol.tag == Symbol.CONSTANT_DOUBLE_TAG in visitLdcInsn()
1316 || (constantSymbol.tag == Symbol.CONSTANT_DYNAMIC_TAG in visitLdcInsn()
1317 && ((firstDescriptorChar = constantSymbol.value.charAt(0)) == 'J' in visitLdcInsn()
1329 currentBasicBlock.frame.execute(Opcodes.LDC, 0, constantSymbol, symbolTable); in visitLdcInsn()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.base/share/classes/jdk/internal/org/objectweb/asm/ |
| H A D | MethodWriter.java | 1321 Symbol constantSymbol = symbolTable.addConstant(value); in visitLdcInsn() local
1322 int constantIndex = constantSymbol.index; in visitLdcInsn()
1325 constantSymbol.tag == Symbol.CONSTANT_LONG_TAG in visitLdcInsn()
1326 || constantSymbol.tag == Symbol.CONSTANT_DOUBLE_TAG in visitLdcInsn()
1327 || (constantSymbol.tag == Symbol.CONSTANT_DYNAMIC_TAG in visitLdcInsn()
1328 && ((firstDescriptorChar = constantSymbol.value.charAt(0)) == 'J' in visitLdcInsn()
1340 currentBasicBlock.frame.execute(Opcodes.LDC, 0, constantSymbol, symbolTable); in visitLdcInsn()
|
| /dports/devel/dwarf2json/dwarf2json-224af56/ |
| H A D | main.go | 871 for _, constantSymbol := range constantMacosDataSymbols {
872 constantDataMap[constantSymbol] = false
1055 for _, constantSymbol := range constantLinuxDataSymbols {
1056 constantDataMap[constantSymbol] = false
|
| /dports/japanese/seaside/ |
| H A D | Seaside-JPatched080908-sq39.changes | 14507 guessVariable: 'constantSymbol'
15468 constantSymbol := #Symbol.
|
| /dports/lang/pharo/Pharo-1.4-14438/ |
| H A D | Pharo-1.4.changes | 129096 guessVariable: 'constantSymbol'
130125 constantSymbol := #Symbol.
|