gov.nasa.jpf.jvm

Java Source Code / Java Documentation

1.	6.0 JDK Core
2.	6.0 JDK Modules
3.	6.0 JDK Modules com.sun
4.	6.0 JDK Modules com.sun.java
5.	6.0 JDK Modules sun
6.	6.0 JDK Platform
7.	Ajax
8.	Apache Harmony Java SE
9.	Aspect oriented
10.	Authentication Authorization
11.	Blogger System
12.	Build
13.	Byte Code
14.	Cache
15.	Chart
16.	Chat
17.	Code Analyzer
18.	Collaboration
19.	Content Management System
20.	Database Client
21.	Database DBMS
22.	Database JDBC Connection Pool
23.	Database ORM
24.	Development
25.	EJB Server geronimo
26.	EJB Server GlassFish
27.	EJB Server JBoss 4.2.1
28.	EJB Server resin 3.1.5
29.	ERP CRM Financial
30.	ESB
31.	Forum
32.	GIS
33.	Graphic Library
34.	Groupware
35.	HTML Parser
36.	IDE
37.	IDE Eclipse
38.	IDE Netbeans
39.	Installer
40.	Internationalization Localization
41.	Inversion of Control
42.	Issue Tracking
43.	J2EE
44.	JBoss
45.	JMS
46.	JMX
47.	Library
48.	Mail Clients
49.	Net
50.	Parser
51.	PDF
52.	Portal
53.	Profiler
54.	Project Management
55.	Report
56.	RSS RDF
57.	Rule Engine
58.	Science
59.	Scripting
60.	Search Engine
61.	Security
62.	Sevlet Container
63.	Source Control
64.	Swing Library
65.	Template Engine
66.	Test Coverage
67.	Testing
68.	UML
69.	Web Crawler
70.	Web Framework
71.	Web Mail
72.	Web Server
73.	Web Services
74.	Web Services apache cxf 2.0.1
75.	Web Services AXIS2
76.	Wiki Engine
77.	Workflow Engines
78.	XML
79.	XML UI

Java

Java Tutorial

Illustrator Tutorials

GIMP Tutorials

C# / C Sharp

C# / CSharp Tutorial

C# / CSharp Open Source

SQL Server / T-SQL Tutorial

Oracle PL / SQL

Oracle PL/SQL Tutorial

Flash / Flex / ActionScript

VBA / Excel / Access / Word

XML

XML Tutorial

Microsoft Office PowerPoint 2007 Tutorial

Microsoft Office Excel 2007 Tutorial

Microsoft Office Word 2007 Tutorial

Java Source Code / Java Documentation » Code Analyzer » javapathfinder » gov.nasa.jpf.jvm

gov.nasa.jpf.jvm

Java Source File Name	Type	Comment
Area.java	Class	Area defines a memory class.
ArrayFields.java	Class
ArrayIndexOutOfBoundsExecutiveException.java	Class
ArrayOffset.java	Class	data encapsulation for backtracking.
AtomicData.java	Class	helper object to store per thread information about atomic line execution <2do> check if we can't do this less expensive.
Attributor.java	Interface
BlockedAtomicException.java	Class
BooleanChoiceGenerator.java	Class
ChoiceGenerator.java	Class
ClassInfo.java	Class	Describes the JVM's view of a java class.
ClassRef.java	Class
ConfigAttributor.java	Class	A configuration file-driven attributor so that we can tailor JPF's attributor based on the application under test.
DefaultAttributor.java	Class	default Attributor implementation to set method and fiel attributes at class load time.
DefaultScheduler.java	Class
DoubleChoiceGenerator.java	Class
DoubleFieldInfo.java	Class
DynamicArea.java	Class	DynamicArea is the heap, i.e.
DynamicElementInfo.java	Class	A specialized version of ElementInfo for use in the DynamicArea.
DynamicFields.java	Class	<2do> pcm - another superfluous type, we should reduce this to Fields.
DynamicMap.java	Class	DynamicMap is a mapping table used to achieve heap symmetry, associating thread/pc specific DynamicMapIndex objects with their corresponding DynamicArea elements[] index.
DynamicMapIndex.java	Class	DynamicMapIndex instances are used to compute a deterministic object reference (i.e.
ElementInfo.java	Class	Describes an element of memory containing the field values of a class or an object.
ExceptionHandler.java	Class	Stores the information about an exception handler.
ExceptionInfo.java	Class
FieldInfo.java	Class	type, name and attribute information of a field.
FieldLockInfo.java	Class	class encapsulating the lock protection detection for field access instructions.
Fields.java	Class	Represents the fields (adat part) of an object or class.
FloatFieldInfo.java	Class
IgnoreIfException.java	Class
IntChoiceGenerator.java	Class
IntegerFieldInfo.java	Class
InteractiveScheduler.java	Class
IsEndStateProperty.java	Class
JPF_gov_nasa_jpf_jvm_TestNativePeer.java	Class
JPF_gov_nasa_jpf_jvm_Verify.java	Class
JPF_java_io_ObjectStream.java	Class
JPF_java_io_PrintStream$.java	Class
JPF_java_io_PrintStream.java	Class
JPF_java_io_RandomAccessFile.java	Class
JPF_java_lang_Character.java	Class
JPF_java_lang_Class.java	Class
JPF_java_lang_Double.java	Class
JPF_java_lang_Float.java	Class
JPF_java_lang_Integer.java	Class
JPF_java_lang_Long.java	Class
JPF_java_lang_Math.java	Class
JPF_java_lang_Object.java	Class
JPF_java_lang_reflect_Array.java	Class
JPF_java_lang_Short.java	Class
JPF_java_lang_String.java	Class
JPF_java_lang_StringBuffer.java	Class
JPF_java_lang_System.java	Class
JPF_java_lang_Thread.java	Class
JPF_java_lang_Throwable.java	Class
JPF_java_security_AccessController.java	Class
JPF_java_text_DecimalFormatSymbols.java	Class
JPF_java_util_Random.java	Class
JVM.java	Class	This class represents the virtual machine.
JVMXMLTraceHandler.java	Class	concrete JPF SAX parser implementation to read in XML error traces.
KernelState.java	Class	This class represents the stack of the JVM.
Labels.java	Class
LongFieldInfo.java	Class
Md5StateSet.java	Class
MethodInfo.java	Class	information associated with a method.
MJIEnv.java	Class	MJIEnv is the call environment for "native" methods, i.e.
Monitor.java	Class	Represents the monitor associate with classes and objects.
NativePeer.java	Class	native peer classes are part of MJI and contain the code that is executed by the host VM (i.e.
NoAssertionViolatedProperty.java	Class
NotDeadlockedProperty.java	Class
NoUncaughtExceptionsProperty.java	Class
ObjRef.java	Class
PathScheduler.java	Class
PredicateMap.java	Class
RandomOrderScheduler.java	Class
RandomScheduler.java	Class
Ref.java	Class
Reference.java	Interface	yet another abstraction of something that can be referenced.
ReferenceFieldInfo.java	Class
Scheduler.java	Class
StackFrame.java	Class	Describes a stack frame.
State.java	Interface
StateSet.java	Interface
StaticArea.java	Class
StaticElementInfo.java	Class	A specialized version of ElementInfo for use in the StaticArea.
StaticFields.java	Class	<2do> pcm - another superfluous type, we should reduce this to Fields.
StaticMap.java	Class
StatisticFieldLockInfo.java	Class
Step.java	Class	this corresponds to an executed instruction.
Storable.java	Interface
SystemState.java	Class	the class that encapsulates not only the current execution state of the VM (the KernelState), but also the part of it's history that is required by JVM to backtrack, plus some potential annotations that can be used to control the search (i.e.
TestArray.java	Class	JPF part of unit test for standard VM array operations.
TestArrayJPF.java	Class
TestAssert.java	Class
TestAssertJPF.java	Class
TestCast.java	Class
TestCastJPF.java	Class
TestException.java	Class
TestExceptionJPF.java	Class
TestField.java	Class
TestFieldJPF.java	Class
TestJavaLangClass.java	Class
TestJavaLangClassJPF.java	Class
TestJavaLangString.java	Class
TestJavaLangStringJPF.java	Class
TestJPF.java	Class	base class for JPF unit tests.
TestMethod.java	Interface
TestMethodJPF.java	Class
TestNativePeer.java	Class
TestNativePeerJPF.java	Class
TestStackTrace.java	Class
TestThread.java	Class
TestThreadJPF.java	Class
TestWait.java	Class
TestWaitJPF.java	Class
ThreadData.java	Class
ThreadInfo.java	Class	Represents a thread.
ThreadList.java	Class	Contains the list of the threads It extends the storage interface.
TrailInfo.java	Class	concrete type to store execution paths.
Types.java	Class
UncaughtException.java	Class
Verify.java	Class	Verify is the programmatic interface of JPF that can be used from inside of applications.

www.java2java.com | Contact Us

All other trademarks are property of their respective owners.