Fixes default method resolution (#159)
[jpf-core.git] / src / main / gov / nasa / jpf / vm /
drwxr-xr-x   ..
-rw-r--r-- 1715 AbstractRestorer.java
-rw-r--r-- 1955 AbstractSerializer.java
-rw-r--r-- 2199 AbstractTypeAnnotationInfo.java
-rw-r--r-- 9861 AllRunnablesSyncPolicy.java
-rw-r--r-- 1859 Allocation.java
-rw-r--r-- 1047 AllocationContext.java
-rw-r--r-- 11580 AnnotationInfo.java
-rw-r--r-- 960 AnnotationParser.java
-rw-r--r-- 2949 ApplicationContext.java
-rw-r--r-- 1313 ArrayAccess.java
-rw-r--r-- 5602 ArrayFields.java
-rw-r--r-- 1535 ArrayIndexOutOfBoundsExecutiveException.java
-rw-r--r-- 1264 ArrayOffset.java
-rw-r--r-- 2304 AtomicData.java
-rw-r--r-- 974 Attributor.java
-rw-r--r-- 1170 Backtracker.java
-rw-r--r-- 2859 BooleanArrayFields.java
-rw-r--r-- 4062 BooleanChoiceGenerator.java
-rw-r--r-- 1840 BooleanFieldInfo.java
-rw-r--r-- 2213 BootstrapMethodInfo.java
-rw-r--r-- 10679 BoxObjectCacheManager.java
-rw-r--r-- 2695 ByteArrayFields.java
-rw-r--r-- 1862 ByteFieldInfo.java
-rw-r--r-- 1224 BytecodeAnnotationInfo.java
-rw-r--r-- 1508 BytecodeTypeParameterAnnotationInfo.java
-rw-r--r-- 3675 CharArrayFields.java
-rw-r--r-- 1834 CharFieldInfo.java
-rw-r--r-- 1312 CheckExtendTransition.java
-rw-r--r-- 5469 ChoiceGenerator.java
-rw-r--r-- 13338 ChoiceGeneratorBase.java
-rw-r--r-- 7275 ChoicePoint.java
-rw-r--r-- 1036 ClassChangeException.java
-rw-r--r-- 1478 ClassFileContainer.java
-rw-r--r-- 1596 ClassFileMatch.java
-rw-r--r-- 74620 ClassInfo.java
-rw-r--r-- 3295 ClassInfoException.java
-rw-r--r-- 28172 ClassLoaderInfo.java
-rw-r--r-- 4356 ClassLoaderList.java
-rw-r--r-- 1088 ClassParseException.java
-rw-r--r-- 3039 ClassPath.java
-rw-r--r-- 1364 ClinitRequired.java
-rw-r--r-- 1261 ClosedMemento.java
-rw-r--r-- 4218 CollapsePools.java
-rw-r--r-- 3108 ConstInsnPathTime.java
-rw-r--r-- 3757 DebugJenkinsStateSet.java
-rw-r--r-- 1008 DebugStateSerializer.java
-rw-r--r-- 3392 DefaultBacktracker.java
-rw-r--r-- 2034 DefaultFieldsFactory.java
-rw-r--r-- 1788 DefaultMementoRestorer.java
-rw-r--r-- 7927 DelegatingScheduler.java
-rw-r--r-- 3605 DirectCallStackFrame.java
-rw-r--r-- 2769 DoubleArrayFields.java
-rw-r--r-- 1049 DoubleChoiceGenerator.java
-rw-r--r-- 2171 DoubleFieldInfo.java
-rw-r--r-- 1119 DoubleSlotFieldInfo.java
-rw-r--r-- 5313 DynamicElementInfo.java
-rw-r--r-- 67470 ElementInfo.java
-rw-r--r-- 2024 ExceptionHandler.java
-rw-r--r-- 2462 ExceptionInfo.java
-rw-r--r-- 1259 ExceptionParameterAnnotationInfo.java
-rw-r--r-- 8142 FieldInfo.java
-rw-r--r-- 4779 FieldLockInfo.java
-rw-r--r-- 1085 FieldLockInfoFactory.java
-rw-r--r-- 10166 Fields.java
-rw-r--r-- 1191 FieldsFactory.java
-rw-r--r-- 9884 FinalizerThreadInfo.java
-rw-r--r-- 2749 FloatArrayFields.java
-rw-r--r-- 1054 FloatChoiceGenerator.java
-rw-r--r-- 2059 FloatFieldInfo.java
-rw-r--r-- 1259 FormalParameterAnnotationInfo.java
-rw-r--r-- 1207 FullStateSet.java
-rw-r--r-- 2950 FunctionObjectFactory.java
-rw-r--r-- 22307 GenericHeap.java
-rw-r--r-- 3776 GenericSGOIDHeap.java
-rw-r--r-- 19922 GenericSharednessPolicy.java
-rw-r--r-- 1011 GenericSignatureHolder.java
-rw-r--r-- 1502 GlobalSchedulingPoint.java
-rw-r--r-- 3993 GlobalSharednessPolicy.java
-rw-r--r-- 2283 HandlerContext.java
-rw-r--r-- 8828 HashedAllocationContext.java
-rw-r--r-- 3000 Heap.java
-rw-r--r-- 1068 IncrementalChangeTracker.java
-rw-r--r-- 8525 InfoObject.java
-rw-r--r-- 11553 Instruction.java
-rw-r--r-- 2699 IntArrayFields.java
-rw-r--r-- 1050 IntChoiceGenerator.java
-rw-r--r-- 2027 IntegerFieldInfo.java
-rw-r--r-- 1200 IsEndStateProperty.java
-rw-r--r-- 5085 JPFOutputStream.java
-rw-r--r-- 40741 JPF_gov_nasa_jpf_vm_Verify.java
-rw-r--r-- 6404 JenkinsStateSet.java
-rw-r--r-- 4808 KernelState.java
-rw-r--r-- 1358 LoadOnJPFRequired.java
-rw-r--r-- 3265 LocalVarInfo.java
-rw-r--r-- 5258 LockSetThresholdFli.java
-rw-r--r-- 2723 LongArrayFields.java
-rw-r--r-- 1054 LongChoiceGenerator.java
-rw-r--r-- 1992 LongFieldInfo.java
-rw-r--r-- 53625 MJIEnv.java
-rw-r--r-- 1792 Memento.java
-rw-r--r-- 1386 MementoFactory.java
-rw-r--r-- 1300 MementoRestorer.java
-rw-r--r-- 36044 MethodInfo.java
-rw-r--r-- 923 MethodLocator.java
-rw-r--r-- 9725 Monitor.java
-rw-r--r-- 13669 MultiProcessVM.java
-rw-r--r-- 6138 NamedFields.java
-rw-r--r-- 8428 NativeMethodInfo.java
-rw-r--r-- 13721 NativePeer.java
-rw-r--r-- 7475 NativeStackFrame.java
-rw-r--r-- 1117 NativeStateHolder.java
-rw-r--r-- 1281 NoJPFExec.java
-rw-r--r-- 1352 NoOutOfMemoryErrorProperty.java
-rw-r--r-- 1970 NoUncaughtExceptionsProperty.java
-rw-r--r-- 2125 NotDeadlockedProperty.java
-rw-r--r-- 3787 OVHeap.java
-rw-r--r-- 5090 OVStatics.java
-rw-r--r-- 1558 ObjRef.java
-rw-r--r-- 5350 PSIMHeap.java
-rw-r--r-- 3122 Path.java
-rw-r--r-- 4401 PathSharednessPolicy.java
-rw-r--r-- 1517 PersistentLockSetThresholdFli.java
-rw-r--r-- 1294 PersistentSingleLockThresholdFli.java
-rw-r--r-- 1785 PersistentTidSet.java
-rw-r--r-- 5010 PreciseAllocationContext.java
-rw-r--r-- 1045 PredicateMap.java
-rw-r--r-- 2306 PriorityRunnablesSyncPolicy.java
-rw-r--r-- 3078 ReferenceArrayFields.java
-rw-r--r-- 981 ReferenceChoiceGenerator.java
-rw-r--r-- 3250 ReferenceFieldInfo.java
-rw-r--r-- 947 ReferenceProcessor.java
-rw-r--r-- 1315 ReleaseAction.java
-rw-r--r-- 990 Restorable.java
-rw-r--r-- 1863 RestorableVMState.java
-rw-r--r-- 1099 Scheduler.java
-rw-r--r-- 1144 SerializingStateSet.java
-rw-r--r-- 9386 SharednessPolicy.java
-rw-r--r-- 2746 ShortArrayFields.java
-rw-r--r-- 1876 ShortFieldInfo.java
-rw-r--r-- 2743 SingleLockThresholdFli.java
-rw-r--r-- 9678 SingleProcessVM.java
-rw-r--r-- 1160 SingleSlotFieldInfo.java
-rw-r--r-- 56275 StackFrame.java
-rw-r--r-- 1050 StateRestorer.java
-rw-r--r-- 1027 StateSerializer.java
-rw-r--r-- 1261 StateSet.java
-rw-r--r-- 5600 StaticElementInfo.java
-rw-r--r-- 2877 Statics.java
-rw-r--r-- 11888 StatisticFieldLockInfoFactory.java
-rw-r--r-- 2722 Step.java
-rw-r--r-- 999 Storable.java
-rw-r--r-- 1328 SuperTypeAnnotationInfo.java
-rw-r--r-- 4759 SyncPolicy.java
-rw-r--r-- 8185 SystemClassLoaderInfo.java
-rw-r--r-- 27085 SystemState.java
-rw-r--r-- 1356 SystemTime.java
-rw-r--r-- 995 ThreadChoiceGenerator.java
-rw-r--r-- 3181 ThreadData.java
-rw-r--r-- 105300 ThreadInfo.java
-rw-r--r-- 1643 ThreadInfoSet.java
-rw-r--r-- 15328 ThreadList.java
-rw-r--r-- 2102 ThresholdFieldLockInfo.java
-rw-r--r-- 1221 ThrowsAnnotationInfo.java
-rw-r--r-- 3409 TidSet.java
-rw-r--r-- 1543 TimeModel.java
-rw-r--r-- 3718 Transition.java
-rw-r--r-- 1269 TypeAnnotationInfo.java
-rw-r--r-- 1261 TypeParameterAnnotationInfo.java
-rw-r--r-- 1449 TypeParameterBoundAnnotationInfo.java
-rw-r--r-- 28013 Types.java
-rw-r--r-- 2562 UncaughtException.java
-rw-r--r-- 60696 VM.java
-rw-r--r-- 7955 VMListener.java
-rw-r--r-- 2472 VariableAnnotationInfo.java
-rw-r--r-- 18108 Verify.java
drwxr-xr-x - bytecode
drwxr-xr-x - choice
drwxr-xr-x - serialize