Java Doc for SystemState.java in  » Code-Analyzer » javapathfinder » gov » nasa » jpf » jvm » Java Source Code / Java DocumentationJava Source Code and Java Documentation

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 Java Open Source Jar File Download Java Articles Java Products Java by API Photoshop Tutorials Maya Tutorials Flash Tutorials 3ds-Max Tutorials Illustrator Tutorials GIMP Tutorials C# / C Sharp C# / CSharp Tutorial C# / CSharp Open Source ASP.Net ASP.NET Tutorial JavaScript DHTML JavaScript Tutorial JavaScript Reference HTML / CSS HTML CSS Reference C / ANSI-C C Tutorial C++ C++ Tutorial Ruby PHP Python Python Tutorial Python Open Source SQL Server / T-SQL SQL Server / T-SQL Tutorial Oracle PL / SQL Oracle PL/SQL Tutorial PostgreSQL SQL / MySQL MySQL Tutorial VB.Net VB.Net 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   Source Cross Reference   Class Diagram   Java Document (Java Doc)   java.lang.Object    gov.nasa.jpf.jvm.SystemState SystemState public class SystemState implements Storable,State(Code) 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. forward/backtrack calls) Inner Class :static class Memento Field Summary  boolean GCNeeded      public  boolean boring       ChoiceGenerator gen       int id      public  boolean ignored      public  boolean interesting      public  KernelState ks      public  Scheduler sch      public  TrailInfo ti      public  UncaughtException uncaughtException      public  boolean violatedAssertion      public  boolean waitDeadlockDetected      Constructor Summary public   SystemState(Config config, Scheduler scheduler)      Creates a new system state. Method Summary public  void activateGC()      public  void backtrackTo(ArrayOffset storing, Object backtrack)       void checkNext(JVM jvm)      public  void gcIfNeeded()      public  Object getBacktrackData()      public  boolean getBoring()      public  ChoiceGenerator getChoiceGenerator()      public  Reference getClass(String name)      public  int getId()      public  boolean getInteresting()      public  int getNonDaemonThreadCount()      public  Reference getObject(int reference)      public  int getRunnableThreadCount()      public  ThreadInfo getRunningThread()      public  Scheduler getScheduler()      public  int[] getStoringData()      public  ThreadInfo getThread(int index)      public  ThreadInfo getThread(Reference reference)      public  int getThreadCount()      public  ThreadInfo getThreadInfo(int idx)      public  TrailInfo getTrailInfo()      public  UncaughtException getUncaughtException()      public  void hash(HashData hd)      public  int hashCode()      public  boolean isEndState()      public  boolean isIgnored()      public  boolean nextSuccessor(JVM vm)      Compute next state.  void prepareNext(JVM jvm)      public  int random(int max)       void scheduleNext(JVM jvm)      public  void setChoiceGenerator(ChoiceGenerator cg)       void setId(int newId)      public  TrailInfo trail()      Field Detail GCNeeded boolean GCNeeded(Code) set to true if garbage collection is necessary boring public boolean boring(Code) True if a Verify.boring() has been satisfied gen ChoiceGenerator gen(Code) the state id id int id(Code) ignored public boolean ignored(Code) True if a Verify.ignoreIf() has been satisfied in current transition interesting public boolean interesting(Code) True if a Verify.interesting() has been satisfied in current transition ks public KernelState ks(Code) current execution state of the VM (stored separately by VM) sch public Scheduler sch(Code) ti public TrailInfo ti(Code) uncaughtException public UncaughtException uncaughtException(Code) uncaught exception in current transition violatedAssertion public boolean violatedAssertion(Code) True if an assertion has been violated in current transition waitDeadlockDetected public boolean waitDeadlockDetected(Code) Signals when a wait introduces a deadlock Constructor Detail SystemState public SystemState(Config config, Scheduler scheduler)(Code) Creates a new system state. Method Detail activateGC public void activateGC()(Code) backtrackTo public void backtrackTo(ArrayOffset storing, Object backtrack)(Code) checkNext void checkNext(JVM jvm)(Code) gcIfNeeded public void gcIfNeeded()(Code) getBacktrackData public Object getBacktrackData()(Code) getBoring public boolean getBoring()(Code) getChoiceGenerator public ChoiceGenerator getChoiceGenerator()(Code) getClass public Reference getClass(String name)(Code) getId public int getId()(Code) getInteresting public boolean getInteresting()(Code) getNonDaemonThreadCount public int getNonDaemonThreadCount()(Code) getObject public Reference getObject(int reference)(Code) getRunnableThreadCount public int getRunnableThreadCount()(Code) getRunningThread public ThreadInfo getRunningThread()(Code) getScheduler public Scheduler getScheduler()(Code) getStoringData public int[] getStoringData()(Code) getThread public ThreadInfo getThread(int index)(Code) getThread public ThreadInfo getThread(Reference reference)(Code) getThreadCount public int getThreadCount()(Code) getThreadInfo public ThreadInfo getThreadInfo(int idx)(Code) getTrailInfo public TrailInfo getTrailInfo()(Code) getUncaughtException public UncaughtException getUncaughtException()(Code) hash public void hash(HashData hd)(Code) hashCode public int hashCode()(Code) isEndState public boolean isEndState()(Code) isIgnored public boolean isIgnored()(Code) nextSuccessor public boolean nextSuccessor(JVM vm) throws JPFException(Code) Compute next state. return 'true' if we actually executed instructions, 'false' if this state was already completely processed prepareNext void prepareNext(JVM jvm)(Code) random public int random(int max)(Code) scheduleNext void scheduleNext(JVM jvm)(Code) setChoiceGenerator public void setChoiceGenerator(ChoiceGenerator cg)(Code) setId void setId(int newId)(Code) trail public TrailInfo trail()(Code) Methods inherited from java.lang.Object native protected Object clone() throws CloneNotSupportedException(Code)(Java Doc) public boolean equals(Object obj)(Code)(Java Doc) protected void finalize() throws Throwable(Code)(Java Doc) final native public Class getClass()(Code)(Java Doc) native public int hashCode()(Code)(Java Doc) final native public void notify()(Code)(Java Doc) final native public void notifyAll()(Code)(Java Doc) public String toString()(Code)(Java Doc) final native public void wait(long timeout) throws InterruptedException(Code)(Java Doc) final public void wait(long timeout, int nanos) throws InterruptedException(Code)(Java Doc) final public void wait() throws InterruptedException(Code)(Java Doc)