Mercurial > hg > Members > kono > jpf-core

directory /src/main/gov/nasa/jpf/vm/ @ 17:e15b03204dc7

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