Java Doc for StaticElementInfo.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.ElementInfo       gov.nasa.jpf.jvm.StaticElementInfo StaticElementInfo public class StaticElementInfo extends ElementInfo (Code) A specialized version of ElementInfo for use in the StaticArea. The StaticElementInfo is only used to store "static class fields" in the StaticArea. It specifically knows about the relationship amongst classes, and will recursively lookup a data member if needed. See Also:   gov.nasa.jpf.jvm.ElementInfo Field Summary  int classObjectRef      final static  int storingDataLength      Constructor Summary public   StaticElementInfo()      public   StaticElementInfo(Fields f, Monitor m, int classObjRef)      Method Summary public  void backtrackTo(ArrayOffset storing, Object backtrack)       int getClassObjectRef()      protected  ElementInfo getElementInfo(ClassInfo ci)      protected  FieldInfo getFieldInfo(String clsBase, String fname)      public  FieldInfo getFieldInfo(int fieldIndex)      public  int getNumberOfFields()      protected  Ref getRef()      public  int getStoringDataLength()       void markStaticRoot()      mark all our fields as static (shared) reachable. public  int storeDataTo(int[] buffer, int idx)      public  String toString()      Field Detail classObjectRef int classObjectRef(Code) storingDataLength final static int storingDataLength(Code) Constructor Detail StaticElementInfo public StaticElementInfo()(Code) StaticElementInfo public StaticElementInfo(Fields f, Monitor m, int classObjRef)(Code) Method Detail backtrackTo public void backtrackTo(ArrayOffset storing, Object backtrack)(Code) getClassObjectRef int getClassObjectRef()(Code) getElementInfo protected ElementInfo getElementInfo(ClassInfo ci)(Code) getFieldInfo protected FieldInfo getFieldInfo(String clsBase, String fname)(Code) getFieldInfo public FieldInfo getFieldInfo(int fieldIndex)(Code) getNumberOfFields public int getNumberOfFields()(Code) getRef protected Ref getRef()(Code) getStoringDataLength public int getStoringDataLength()(Code) override the ElementInfo methods - we have an additional field (for the sake of efficiency, we duplicate some code to save a call, this is a high-frequency op) markStaticRoot void markStaticRoot()(Code) mark all our fields as static (shared) reachable. No need to set our own attributes, since we reside in the StaticArea storeDataTo public int storeDataTo(int[] buffer, int idx)(Code) toString public String toString()(Code) Fields inherited from gov.nasa.jpf.jvm.ElementInfo final public static int ATTR_IMMUTABLE(Code)(Java Doc) final public static int ATTR_NONE(Code)(Java Doc) final public static int ATTR_NO_PROMOTE(Code)(Java Doc) final public static int ATTR_NO_PROPAGATE(Code)(Java Doc) final public static int ATTR_PINDOWN(Code)(Java Doc) final public static int ATTR_PROP_MASK(Code)(Java Doc) final public static int ATTR_PROTECTED(Code)(Java Doc) final public static int ATTR_SINGLE_WRITER(Code)(Java Doc) final public static int ATTR_TSHARED(Code)(Java Doc) protected Area area(Code)(Java Doc) protected int attributes(Code)(Java Doc) protected int fIndex(Code)(Java Doc) protected Fields fields(Code)(Java Doc) protected static HashPool fieldsPool(Code)(Java Doc) protected int index(Code)(Java Doc) static HashMap lockDiscipline(Code)(Java Doc) protected int mIndex(Code)(Java Doc) protected Monitor monitor(Code)(Java Doc) protected static HashPool monitorPool(Code)(Java Doc) protected static HashPool racePool(Code)(Java Doc) final static int storingDataLength(Code)(Java Doc) Methods inherited from gov.nasa.jpf.jvm.ElementInfo void _printAttributes(String cls, String msg, int oldAttrs)(Code)(Java Doc) public int arrayLength()(Code)(Java Doc) public boolean[] asBooleanArray()(Code)(Java Doc) public byte[] asByteArray()(Code)(Java Doc) public char[] asCharArray()(Code)(Java Doc) public double[] asDoubleArray()(Code)(Java Doc) public float[] asFloatArray()(Code)(Java Doc) public int[] asIntArray()(Code)(Java Doc) public long[] asLongArray()(Code)(Java Doc) public short[] asShortArray()(Code)(Java Doc) public String asString()(Code)(Java Doc) public void backtrackTo(ArrayOffset storing, Object backtrack)(Code)(Java Doc) public boolean canLock(ThreadInfo th)(Code)(Java Doc) public void checkArrayBounds(int index) throws ArrayIndexOutOfBoundsExecutiveException(Code)(Java Doc) public void checkLongArrayBounds(int index) throws ArrayIndexOutOfBoundsExecutiveException(Code)(Java Doc) public Object clone()(Code)(Java Doc) protected Fields cloneFields()(Code)(Java Doc) protected Monitor cloneMonitor()(Code)(Java Doc) public boolean equals(Object other)(Code)(Java Doc) public Area getArea()(Code)(Java Doc) public String getArrayType()(Code)(Java Doc) public Object getBacktrackData()(Code)(Java Doc) public boolean getBooleanField(String fname, String refType)(Code)(Java Doc) public byte getByteField(String fname, String refType)(Code)(Java Doc) public char getCharArrayElement(int index)(Code)(Java Doc) public char getCharField(String fname, String refType)(Code)(Java Doc) public ClassInfo getClassInfo()(Code)(Java Doc) public double getDoubleField(String fname, String refType)(Code)(Java Doc) public int getElement(int index)(Code)(Java Doc) abstract protected ElementInfo getElementInfo(ClassInfo ci)(Code)(Java Doc) abstract protected FieldInfo getFieldInfo(String clsBase, String fname)(Code)(Java Doc) protected FieldInfo getFieldInfo(String fname)(Code)(Java Doc) abstract public FieldInfo getFieldInfo(int i)(Code)(Java Doc) public FieldLockInfo getFieldLockInfo(String fid)(Code)(Java Doc) protected int getFieldsIndex()(Code)(Java Doc) public float getFloatField(String fname, String refType)(Code)(Java Doc) public int getHeapSize()(Code)(Java Doc) public int getIndex()(Code)(Java Doc) public int getIntArrayElement(int findex)(Code)(Java Doc) public int getIntField(String fname)(Code)(Java Doc) public int getIntField(String fname, String clsBase)(Code)(Java Doc) public int getIntField(FieldInfo fi)(Code)(Java Doc) public int getLockCount()(Code)(Java Doc) public int getLockingThread()(Code)(Java Doc) public long getLongArrayElement(int findex)(Code)(Java Doc) public long getLongElement(int index)(Code)(Java Doc) public long getLongField(String fname)(Code)(Java Doc) public long getLongField(String fname, String clsBase)(Code)(Java Doc) public long getLongField(FieldInfo fi)(Code)(Java Doc) protected int getMonitorIndex()(Code)(Java Doc) abstract public int getNumberOfFields()(Code)(Java Doc) public Reference getObjectField(String fname, String referenceType)(Code)(Java Doc) abstract protected Ref getRef()(Code)(Java Doc) public int getReferenceField(String fname, String clsBase)(Code)(Java Doc) public int getReferenceField(String fname)(Code)(Java Doc) public short getShortField(String fname, String refType)(Code)(Java Doc) public int[] getStoringData()(Code)(Java Doc) public int getStoringDataLength()(Code)(Java Doc) public String getStringField(String fname, String referenceType)(Code)(Java Doc) public int getThisReference()(Code)(Java Doc) public String getType()(Code)(Java Doc) public int[] getWaitingThreads()(Code)(Java Doc) boolean hasEqualPropagatedAttributes(int refAttrs, int attrMask)(Code)(Java Doc) boolean hasRefField(int objRef)(Code)(Java Doc) public void hash(HashData hd)(Code)(Java Doc) public int hashCode()(Code)(Java Doc) public boolean instanceOf(String type)(Code)(Java Doc) public void interrupt()(Code)(Java Doc) public boolean isArray()(Code)(Java Doc) public boolean isImmutable()(Code)(Java Doc) public boolean isLocked()(Code)(Java Doc) boolean isLockedBy(ThreadInfo ti)(Code)(Java Doc) public boolean isNull()(Code)(Java Doc) public boolean isSchedulingRelevant()(Code)(Java Doc) public boolean isShared()(Code)(Java Doc) public Vector linearize(Vector result)(Code)(Java Doc) public void lock(ThreadInfo th)(Code)(Java Doc) public void lockNotified(ThreadInfo th)(Code)(Java Doc) public void log()(Code)(Java Doc) void markRecursive(int tid, int attrMask)(Code)(Java Doc) public boolean needsAttributePropagationFrom(ElementInfo ei)(Code)(Java Doc) public void notifies()(Code)(Java Doc) public void notifiesAll()(Code)(Java Doc) public boolean outOfBounds(int index)(Code)(Java Doc) public void pinDown(boolean keepAlive)(Code)(Java Doc) void propagateAttributes(int refAttr, int attrMask)(Code)(Java Doc) public void setArea(Area newArea)(Code)(Java Doc) public void setElement(int index, int value)(Code)(Java Doc) public void setFieldLockInfo(String fid, FieldLockInfo flInfo)(Code)(Java Doc) protected void setFieldsIndex(int index)(Code)(Java Doc) public void setIndex(int newIndex)(Code)(Java Doc) public void setIntField(FieldInfo fi, int value)(Code)(Java Doc) public void setIntField(String fname, String clsBase, int value)(Code)(Java Doc) public void setIntField(String fname, int value)(Code)(Java Doc) public void setLongElement(int index, long value)(Code)(Java Doc) public void setLongField(String fname, long value)(Code)(Java Doc) public void setLongField(String fname, String clsBase, long value)(Code)(Java Doc) public void setLongField(FieldInfo fi, long val)(Code)(Java Doc) protected void setMonitorIndex(int index)(Code)(Java Doc) public void setReferenceField(FieldInfo fi, int value)(Code)(Java Doc) public void setReferenceField(String fname, String clsBase, int value)(Code)(Java Doc) public void setReferenceField(String fname, int value)(Code)(Java Doc) void setShared()(Code)(Java Doc) void setShared(int attrMask)(Code)(Java Doc) public int storeDataTo(int[] buffer, int idx)(Code)(Java Doc) public String toString()(Code)(Java Doc) public void unlock(ThreadInfo th)(Code)(Java Doc) void updateLockingInfo()(Code)(Java Doc) void updateReachability(int oldRef, int newRef)(Code)(Java Doc) public void wait(ThreadInfo th)(Code)(Java Doc) 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)