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