Java Doc for DynamicElementInfo.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.DynamicElementInfo

DynamicElementInfo
public class DynamicElementInfo extends ElementInfo (Code)
A specialized version of ElementInfo for use in the DynamicArea. DynamicElementInfo objects represent heap objects
See Also:   gov.nasa.jpf.jvm.ElementInfo


Field Summary
final static  intstoringDataLength
    

Constructor Summary
public  DynamicElementInfo()
    
public  DynamicElementInfo(Fields f, Monitor m)
    

Method Summary
protected  ElementInfogetElementInfo(ClassInfo ci)
    
public  FieldInfogetFieldInfo(int fieldIndex)
    
protected  FieldInfogetFieldInfo(String clsBase, String fname)
    
public  intgetNumberOfFields()
    
protected  RefgetRef()
    

Field Detail
storingDataLength
final static int storingDataLength(Code)




Constructor Detail
DynamicElementInfo
public DynamicElementInfo()(Code)



DynamicElementInfo
public DynamicElementInfo(Fields f, Monitor m)(Code)




Method Detail
getElementInfo
protected ElementInfo getElementInfo(ClassInfo ci)(Code)



getFieldInfo
public FieldInfo getFieldInfo(int fieldIndex)(Code)



getFieldInfo
protected FieldInfo getFieldInfo(String clsBase, String fname)(Code)



getNumberOfFields
public int getNumberOfFields()(Code)



getRef
protected Ref getRef()(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)

www.java2java.com | Contact Us
Copyright 2009 - 12 Demo Source and Support. All rights reserved.
All other trademarks are property of their respective owners.