| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | FunctionDefinition.cpp | 75 Clause* defCl; member
180 d->defCl=cl; in removeUnusedDefinitions()
212 ASS_EQ(d->defCl->length(), 1); in removeUnusedDefinitions()
231 ASS_EQ(d->defCl->length(), 1); in removeUnusedDefinitions()
268 d->defCl=cl; in removeAllDefinitions()
298 UnitList::push(d->defCl, units); in removeAllDefinitions()
320 d->defCl=applyDefinitions(d->defCl); in removeAllDefinitions()
324 Literal* defEq=(*d->defCl)[0]; in removeAllDefinitions()
334 ASS_EQ(d->defCl->length(), 1); in removeAllDefinitions()
709 Clause* defCl=usedDefs.pop()->defCl; in applyDefinitions() local
[all …]
|
| H A D | InequalitySplitting.cpp | 184 …Clause* defCl=new(1) Clause(1,NonspecificInference0(inpType,InferenceRule::INEQUALITY_SPLITTING_NA… in splitLiteral() local
185 (*defCl)[0]=makeNameLiteral(predNum, t, false); in splitLiteral()
186 _predDefs.push(defCl); in splitLiteral()
188 InferenceStore::instance()->recordIntroducedSymbol(defCl,false,predNum); in splitLiteral()
190 premise=defCl; in splitLiteral()
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/reflect/ |
| H A D | ReflectionFactory.java | 555 Class<?> defCl = cl; in getReplaceResolveForSerialization() local
556 while (defCl != null) { in getReplaceResolveForSerialization()
558 Method m = defCl.getDeclaredMethod(methodName); in getReplaceResolveForSerialization()
567 } else if (Modifier.isPrivate(mods) && (cl != defCl)) { in getReplaceResolveForSerialization()
569 } else if (!packageEquals(cl, defCl)) { in getReplaceResolveForSerialization()
581 defCl = defCl.getSuperclass(); in getReplaceResolveForSerialization()
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/reflect/ |
| H A D | ReflectionFactory.java | 555 Class<?> defCl = cl; in getReplaceResolveForSerialization() local
556 while (defCl != null) { in getReplaceResolveForSerialization()
558 Method m = defCl.getDeclaredMethod(methodName); in getReplaceResolveForSerialization()
567 } else if (Modifier.isPrivate(mods) && (cl != defCl)) { in getReplaceResolveForSerialization()
569 } else if (!packageEquals(cl, defCl)) { in getReplaceResolveForSerialization()
581 defCl = defCl.getSuperclass(); in getReplaceResolveForSerialization()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.base/share/classes/jdk/internal/reflect/ |
| H A D | ReflectionFactory.java | 558 Class<?> defCl = cl; in getReplaceResolveForSerialization() local
559 while (defCl != null) { in getReplaceResolveForSerialization()
561 Method m = defCl.getDeclaredMethod(methodName); in getReplaceResolveForSerialization()
570 } else if (Modifier.isPrivate(mods) && (cl != defCl)) { in getReplaceResolveForSerialization()
572 } else if (!packageEquals(cl, defCl)) { in getReplaceResolveForSerialization()
584 defCl = defCl.getSuperclass(); in getReplaceResolveForSerialization()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.base/share/classes/jdk/internal/reflect/ |
| H A D | ReflectionFactory.java | 555 Class<?> defCl = cl; in getReplaceResolveForSerialization() local
556 while (defCl != null) { in getReplaceResolveForSerialization()
558 Method m = defCl.getDeclaredMethod(methodName); in getReplaceResolveForSerialization()
567 } else if (Modifier.isPrivate(mods) && (cl != defCl)) { in getReplaceResolveForSerialization()
569 } else if (!packageEquals(cl, defCl)) { in getReplaceResolveForSerialization()
581 defCl = defCl.getSuperclass(); in getReplaceResolveForSerialization()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.base/share/classes/jdk/internal/reflect/ |
| H A D | ReflectionFactory.java | 558 Class<?> defCl = cl; in getReplaceResolveForSerialization() local
559 while (defCl != null) { in getReplaceResolveForSerialization()
561 Method m = defCl.getDeclaredMethod(methodName); in getReplaceResolveForSerialization()
570 } else if (Modifier.isPrivate(mods) && (cl != defCl)) { in getReplaceResolveForSerialization()
572 } else if (!packageEquals(cl, defCl)) { in getReplaceResolveForSerialization()
584 defCl = defCl.getSuperclass(); in getReplaceResolveForSerialization()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.base/share/classes/jdk/internal/reflect/ |
| H A D | ReflectionFactory.java | 554 Class<?> defCl = cl; in getReplaceResolveForSerialization() local
555 while (defCl != null) { in getReplaceResolveForSerialization()
557 Method m = defCl.getDeclaredMethod(methodName); in getReplaceResolveForSerialization()
566 } else if (Modifier.isPrivate(mods) && (cl != defCl)) { in getReplaceResolveForSerialization()
568 } else if (!packageEquals(cl, defCl)) { in getReplaceResolveForSerialization()
580 defCl = defCl.getSuperclass(); in getReplaceResolveForSerialization()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/jdk/internal/reflect/ |
| H A D | ReflectionFactory.java | 606 Class<?> defCl = cl; in getReplaceResolveForSerialization() local
607 while (defCl != null) { in getReplaceResolveForSerialization()
609 Method m = defCl.getDeclaredMethod(methodName); in getReplaceResolveForSerialization()
618 } else if (Modifier.isPrivate(mods) && (cl != defCl)) { in getReplaceResolveForSerialization()
620 } else if (!packageEquals(cl, defCl)) { in getReplaceResolveForSerialization()
632 defCl = defCl.getSuperclass(); in getReplaceResolveForSerialization()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.base/share/classes/jdk/internal/reflect/ |
| H A D | ReflectionFactory.java | 612 Class<?> defCl = cl; in getReplaceResolveForSerialization() local
613 while (defCl != null) { in getReplaceResolveForSerialization()
615 Method m = defCl.getDeclaredMethod(methodName); in getReplaceResolveForSerialization()
624 } else if (Modifier.isPrivate(mods) && (cl != defCl)) { in getReplaceResolveForSerialization()
626 } else if (!packageEquals(cl, defCl)) { in getReplaceResolveForSerialization()
638 defCl = defCl.getSuperclass(); in getReplaceResolveForSerialization()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/jdk/internal/reflect/ |
| H A D | ReflectionFactory.java | 606 Class<?> defCl = cl; in getReplaceResolveForSerialization() local
607 while (defCl != null) { in getReplaceResolveForSerialization()
609 Method m = defCl.getDeclaredMethod(methodName); in getReplaceResolveForSerialization()
618 } else if (Modifier.isPrivate(mods) && (cl != defCl)) { in getReplaceResolveForSerialization()
620 } else if (!packageEquals(cl, defCl)) { in getReplaceResolveForSerialization()
632 defCl = defCl.getSuperclass(); in getReplaceResolveForSerialization()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.base/share/classes/jdk/internal/reflect/ |
| H A D | ReflectionFactory.java | 612 Class<?> defCl = cl; in getReplaceResolveForSerialization() local
613 while (defCl != null) { in getReplaceResolveForSerialization()
615 Method m = defCl.getDeclaredMethod(methodName); in getReplaceResolveForSerialization()
624 } else if (Modifier.isPrivate(mods) && (cl != defCl)) { in getReplaceResolveForSerialization()
626 } else if (!packageEquals(cl, defCl)) { in getReplaceResolveForSerialization()
638 defCl = defCl.getSuperclass(); in getReplaceResolveForSerialization()
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/corba/src/share/classes/com/sun/corba/se/impl/io/ |
| H A D | ObjectStreamClass.java | 1851 Class<?> defCl = cl;
1852 while (defCl != null) {
1854 meth = defCl.getDeclaredMethod(name, argTypes);
1857 defCl = defCl.getSuperclass();
1871 return (cl == defCl) ? meth : null;
1873 return packageEquals(cl, defCl) ? meth : null;
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/corba/src/share/classes/com/sun/corba/se/impl/io/ |
| H A D | ObjectStreamClass.java | 1851 Class<?> defCl = cl;
1852 while (defCl != null) {
1854 meth = defCl.getDeclaredMethod(name, argTypes);
1857 defCl = defCl.getSuperclass();
1871 return (cl == defCl) ? meth : null;
1873 return packageEquals(cl, defCl) ? meth : null;
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/java/io/ |
| H A D | ObjectStreamClass.java | 1545 Class<?> defCl = cl; in getInheritableMethod() local
1546 while (defCl != null) { in getInheritableMethod()
1548 meth = defCl.getDeclaredMethod(name, argTypes); in getInheritableMethod()
1551 defCl = defCl.getSuperclass(); in getInheritableMethod()
1565 return (cl == defCl) ? meth : null; in getInheritableMethod()
1567 return packageEquals(cl, defCl) ? meth : null; in getInheritableMethod()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.base/share/classes/java/io/ |
| H A D | ObjectStreamClass.java | 1545 Class<?> defCl = cl; in getInheritableMethod() local
1546 while (defCl != null) { in getInheritableMethod()
1548 meth = defCl.getDeclaredMethod(name, argTypes); in getInheritableMethod()
1551 defCl = defCl.getSuperclass(); in getInheritableMethod()
1565 return (cl == defCl) ? meth : null; in getInheritableMethod()
1567 return packageEquals(cl, defCl) ? meth : null; in getInheritableMethod()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.base/share/classes/java/io/ |
| H A D | ObjectStreamClass.java | 1530 Class<?> defCl = cl; in getInheritableMethod() local
1531 while (defCl != null) { in getInheritableMethod()
1533 meth = defCl.getDeclaredMethod(name, argTypes); in getInheritableMethod()
1536 defCl = defCl.getSuperclass(); in getInheritableMethod()
1550 return (cl == defCl) ? meth : null; in getInheritableMethod()
1552 return packageEquals(cl, defCl) ? meth : null; in getInheritableMethod()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/java/io/ |
| H A D | ObjectStreamClass.java | 1545 Class<?> defCl = cl; in getInheritableMethod() local
1546 while (defCl != null) { in getInheritableMethod()
1548 meth = defCl.getDeclaredMethod(name, argTypes); in getInheritableMethod()
1551 defCl = defCl.getSuperclass(); in getInheritableMethod()
1565 return (cl == defCl) ? meth : null; in getInheritableMethod()
1567 return packageEquals(cl, defCl) ? meth : null; in getInheritableMethod()
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/java/io/ |
| H A D | ObjectStreamClass.java | 1607 Class<?> defCl = cl; in getInheritableMethod() local
1608 while (defCl != null) { in getInheritableMethod()
1610 meth = defCl.getDeclaredMethod(name, argTypes); in getInheritableMethod()
1613 defCl = defCl.getSuperclass(); in getInheritableMethod()
1627 return (cl == defCl) ? meth : null; in getInheritableMethod()
1629 return packageEquals(cl, defCl) ? meth : null; in getInheritableMethod()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.base/share/classes/java/io/ |
| H A D | ObjectStreamClass.java | 1617 Class<?> defCl = cl; in getInheritableMethod() local
1618 while (defCl != null) { in getInheritableMethod()
1620 meth = defCl.getDeclaredMethod(name, argTypes); in getInheritableMethod()
1623 defCl = defCl.getSuperclass(); in getInheritableMethod()
1637 return (cl == defCl) ? meth : null; in getInheritableMethod()
1639 return packageEquals(cl, defCl) ? meth : null; in getInheritableMethod()
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/java/io/ |
| H A D | ObjectStreamClass.java | 1607 Class<?> defCl = cl; in getInheritableMethod() local
1608 while (defCl != null) { in getInheritableMethod()
1610 meth = defCl.getDeclaredMethod(name, argTypes); in getInheritableMethod()
1613 defCl = defCl.getSuperclass(); in getInheritableMethod()
1627 return (cl == defCl) ? meth : null; in getInheritableMethod()
1629 return packageEquals(cl, defCl) ? meth : null; in getInheritableMethod()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.base/share/classes/java/io/ |
| H A D | ObjectStreamClass.java | 1624 Class<?> defCl = cl; in getInheritableMethod() local
1625 while (defCl != null) { in getInheritableMethod()
1627 meth = defCl.getDeclaredMethod(name, argTypes); in getInheritableMethod()
1630 defCl = defCl.getSuperclass(); in getInheritableMethod()
1644 return (cl == defCl) ? meth : null; in getInheritableMethod()
1646 return packageEquals(cl, defCl) ? meth : null; in getInheritableMethod()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.base/share/classes/java/io/ |
| H A D | ObjectStreamClass.java | 1619 Class<?> defCl = cl; in getInheritableMethod() local
1620 while (defCl != null) { in getInheritableMethod()
1622 meth = defCl.getDeclaredMethod(name, argTypes); in getInheritableMethod()
1625 defCl = defCl.getSuperclass(); in getInheritableMethod()
1639 return (cl == defCl) ? meth : null; in getInheritableMethod()
1641 return packageEquals(cl, defCl) ? meth : null; in getInheritableMethod()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.base/share/classes/java/io/ |
| H A D | ObjectStreamClass.java | 1627 Class<?> defCl = cl; in getInheritableMethod() local
1628 while (defCl != null) { in getInheritableMethod()
1630 meth = defCl.getDeclaredMethod(name, argTypes); in getInheritableMethod()
1633 defCl = defCl.getSuperclass(); in getInheritableMethod()
1647 return (cl == defCl) ? meth : null; in getInheritableMethod()
1649 return packageEquals(cl, defCl) ? meth : null; in getInheritableMethod()
|