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

All known Subclasses:   gov.nasa.jpf.jvm.DynamicElementInfo,  gov.nasa.jpf.jvm.StaticElementInfo,
ElementInfo
abstract public class ElementInfo implements Storable,Reference,Cloneable(Code)
Describes an element of memory containing the field values of a class or an object. In the case of a class, contains the values of the static fields. For an object contains the values of the object fields.
See Also:   gov.nasa.jpf.jvm.FieldInfo


Field Summary
final public static  intATTR_IMMUTABLE
    
final public static  intATTR_NONE
    
final public static  intATTR_NO_PROMOTE
    
final public static  intATTR_NO_PROPAGATE
    
final public static  intATTR_PINDOWN
    
final public static  intATTR_PROP_MASK
    
final public static  intATTR_PROTECTED
    
final public static  intATTR_SINGLE_WRITER
    
final public static  intATTR_TSHARED
    
protected  Areaarea
    
protected  intattributes
    
protected  intfIndex
    
protected  Fieldsfields
    
protected static  HashPoolfieldsPool
    
protected  intindex
    
static  HashMaplockDiscipline
    
protected  intmIndex
    
protected  Monitormonitor
    
protected static  HashPoolmonitorPool
    
protected static  HashPoolracePool
    
final static  intstoringDataLength
    

Constructor Summary
public  ElementInfo(Fields f, Monitor m)
    
protected  ElementInfo()
    

Method Summary
 void_printAttributes(String cls, String msg, int oldAttrs)
    
public  intarrayLength()
    
public  boolean[]asBooleanArray()
    
public  byte[]asByteArray()
    
public  char[]asCharArray()
    
public  double[]asDoubleArray()
    
public  float[]asFloatArray()
    
public  int[]asIntArray()
    
public  long[]asLongArray()
    
public  short[]asShortArray()
    
public  StringasString()
    
public  voidbacktrackTo(ArrayOffset storing, Object backtrack)
    
public  booleancanLock(ThreadInfo th)
    
public  voidcheckArrayBounds(int index)
    
public  voidcheckLongArrayBounds(int index)
    
public  Objectclone()
    
protected  FieldscloneFields()
    
protected  MonitorcloneMonitor()
    
public  booleanequals(Object other)
    
public  AreagetArea()
    
public  StringgetArrayType()
    
public  ObjectgetBacktrackData()
    
public  booleangetBooleanField(String fname, String refType)
    
public  bytegetByteField(String fname, String refType)
    
public  chargetCharArrayElement(int index)
    
public  chargetCharField(String fname, String refType)
    
public  ClassInfogetClassInfo()
    
public  doublegetDoubleField(String fname, String refType)
    
public  intgetElement(int index)
    
abstract protected  ElementInfogetElementInfo(ClassInfo ci)
    
abstract protected  FieldInfogetFieldInfo(String clsBase, String fname)
    
protected  FieldInfogetFieldInfo(String fname)
    
abstract public  FieldInfogetFieldInfo(int i)
    
public  FieldLockInfogetFieldLockInfo(String fid)
    
protected  intgetFieldsIndex()
    
public  floatgetFloatField(String fname, String refType)
    
public  intgetHeapSize()
    
public  intgetIndex()
    
public  intgetIntArrayElement(int findex)
    
public  intgetIntField(String fname)
    
public  intgetIntField(String fname, String clsBase)
    
public  intgetIntField(FieldInfo fi)
    
public  intgetLockCount()
    
public  intgetLockingThread()
    
public  longgetLongArrayElement(int findex)
    
public  longgetLongElement(int index)
    
public  longgetLongField(String fname)
    
public  longgetLongField(String fname, String clsBase)
    
public  longgetLongField(FieldInfo fi)
    
protected  intgetMonitorIndex()
    
abstract public  intgetNumberOfFields()
    
public  ReferencegetObjectField(String fname, String referenceType)
    
abstract protected  RefgetRef()
     The various lock methods need access to a Ref object to do their work.
public  intgetReferenceField(String fname, String clsBase)
    
public  intgetReferenceField(String fname)
    
public  shortgetShortField(String fname, String refType)
    
public  int[]getStoringData()
    
public  intgetStoringDataLength()
    
public  StringgetStringField(String fname, String referenceType)
    
public  intgetThisReference()
    
public  StringgetType()
    
public  int[]getWaitingThreads()
    
 booleanhasEqualPropagatedAttributes(int refAttrs, int attrMask)
    
 booleanhasRefField(int objRef)
    
public  voidhash(HashData hd)
    
public  inthashCode()
    
public  booleaninstanceOf(String type)
    
public  voidinterrupt()
    
public  booleanisArray()
    
public  booleanisImmutable()
    
public  booleanisLocked()
    
 booleanisLockedBy(ThreadInfo ti)
    
public  booleanisNull()
    
public  booleanisSchedulingRelevant()
    
public  booleanisShared()
    
public  Vectorlinearize(Vector result)
    
public  voidlock(ThreadInfo th)
    
public  voidlockNotified(ThreadInfo th)
    
public  voidlog()
    
 voidmarkRecursive(int tid, int attrMask)
     the recursive phase2 marker entry, which propagates the attributes set by a previous phase1.
public  booleanneedsAttributePropagationFrom(ElementInfo ei)
    
public  voidnotifies()
    
public  voidnotifiesAll()
    
public  booleanoutOfBounds(int index)
    
public  voidpinDown(boolean keepAlive)
    
 voidpropagateAttributes(int refAttr, int attrMask)
    
public  voidsetArea(Area newArea)
    
public  voidsetElement(int index, int value)
    
public  voidsetFieldLockInfo(String fid, FieldLockInfo flInfo)
    
protected  voidsetFieldsIndex(int index)
    
public  voidsetIndex(int newIndex)
    
public  voidsetIntField(FieldInfo fi, int value)
    
public  voidsetIntField(String fname, String clsBase, int value)
    
public  voidsetIntField(String fname, int value)
    
public  voidsetLongElement(int index, long value)
    
public  voidsetLongField(String fname, long value)
    
public  voidsetLongField(String fname, String clsBase, long value)
    
public  voidsetLongField(FieldInfo fi, long val)
    
protected  voidsetMonitorIndex(int index)
    
public  voidsetReferenceField(FieldInfo fi, int value)
    
public  voidsetReferenceField(String fname, String clsBase, int value)
    
public  voidsetReferenceField(String fname, int value)
    
 voidsetShared()
    
 voidsetShared(int attrMask)
    
public  intstoreDataTo(int[] buffer, int idx)
    
public  StringtoString()
    
public  voidunlock(ThreadInfo th)
    
 voidupdateLockingInfo()
    
 voidupdateReachability(int oldRef, int newRef)
    
public  voidwait(ThreadInfo th)
    

Field Detail
ATTR_IMMUTABLE
final public static int ATTR_IMMUTABLE(Code)



ATTR_NONE
final public static int ATTR_NONE(Code)



ATTR_NO_PROMOTE
final public static int ATTR_NO_PROMOTE(Code)



ATTR_NO_PROPAGATE
final public static int ATTR_NO_PROPAGATE(Code)



ATTR_PINDOWN
final public static int ATTR_PINDOWN(Code)



ATTR_PROP_MASK
final public static int ATTR_PROP_MASK(Code)



ATTR_PROTECTED
final public static int ATTR_PROTECTED(Code)



ATTR_SINGLE_WRITER
final public static int ATTR_SINGLE_WRITER(Code)



ATTR_TSHARED
final public static int ATTR_TSHARED(Code)



area
protected Area area(Code)



attributes
protected int attributes(Code)



fIndex
protected int fIndex(Code)



fields
protected Fields fields(Code)



fieldsPool
protected static HashPool fieldsPool(Code)



index
protected int index(Code)



lockDiscipline
static HashMap lockDiscipline(Code)



mIndex
protected int mIndex(Code)



monitor
protected Monitor monitor(Code)



monitorPool
protected static HashPool monitorPool(Code)



racePool
protected static HashPool racePool(Code)



storingDataLength
final static int storingDataLength(Code)




Constructor Detail
ElementInfo
public ElementInfo(Fields f, Monitor m)(Code)



ElementInfo
protected ElementInfo()(Code)




Method Detail
_printAttributes
void _printAttributes(String cls, String msg, int oldAttrs)(Code)



arrayLength
public int arrayLength()(Code)



asBooleanArray
public boolean[] asBooleanArray()(Code)



asByteArray
public byte[] asByteArray()(Code)



asCharArray
public char[] asCharArray()(Code)



asDoubleArray
public double[] asDoubleArray()(Code)



asFloatArray
public float[] asFloatArray()(Code)



asIntArray
public int[] asIntArray()(Code)



asLongArray
public long[] asLongArray()(Code)



asShortArray
public short[] asShortArray()(Code)



asString
public String asString()(Code)



backtrackTo
public void backtrackTo(ArrayOffset storing, Object backtrack)(Code)



canLock
public boolean canLock(ThreadInfo th)(Code)



checkArrayBounds
public void checkArrayBounds(int index) throws ArrayIndexOutOfBoundsExecutiveException(Code)



checkLongArrayBounds
public void checkLongArrayBounds(int index) throws ArrayIndexOutOfBoundsExecutiveException(Code)



clone
public Object clone()(Code)



cloneFields
protected Fields cloneFields()(Code)



cloneMonitor
protected Monitor cloneMonitor()(Code)



equals
public boolean equals(Object other)(Code)
a bit simplistic, but will do for object equalness



getArea
public Area getArea()(Code)



getArrayType
public String getArrayType()(Code)



getBacktrackData
public Object getBacktrackData()(Code)



getBooleanField
public boolean getBooleanField(String fname, String refType)(Code)



getByteField
public byte getByteField(String fname, String refType)(Code)



getCharArrayElement
public char getCharArrayElement(int index)(Code)



getCharField
public char getCharField(String fname, String refType)(Code)



getClassInfo
public ClassInfo getClassInfo()(Code)



getDoubleField
public double getDoubleField(String fname, String refType)(Code)



getElement
public int getElement(int index)(Code)



getElementInfo
abstract protected ElementInfo getElementInfo(ClassInfo ci)(Code)



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



getFieldInfo
protected FieldInfo getFieldInfo(String fname)(Code)



getFieldInfo
abstract public FieldInfo getFieldInfo(int i)(Code)



getFieldLockInfo
public FieldLockInfo getFieldLockInfo(String fid)(Code)



getFieldsIndex
protected int getFieldsIndex()(Code)



getFloatField
public float getFloatField(String fname, String refType)(Code)



getHeapSize
public int getHeapSize()(Code)
answer an estimate of the heap size in bytes (this is of course VM dependent, but we can give an upper bound for the fields/elements, and that should be good in terms of application specific properties)



getIndex
public int getIndex()(Code)



getIntArrayElement
public int getIntArrayElement(int findex)(Code)



getIntField
public int getIntField(String fname)(Code)



getIntField
public int getIntField(String fname, String clsBase)(Code)



getIntField
public int getIntField(FieldInfo fi)(Code)



getLockCount
public int getLockCount()(Code)



getLockingThread
public int getLockingThread()(Code)



getLongArrayElement
public long getLongArrayElement(int findex)(Code)



getLongElement
public long getLongElement(int index)(Code)



getLongField
public long getLongField(String fname)(Code)



getLongField
public long getLongField(String fname, String clsBase)(Code)



getLongField
public long getLongField(FieldInfo fi)(Code)



getMonitorIndex
protected int getMonitorIndex()(Code)



getNumberOfFields
abstract public int getNumberOfFields()(Code)



getObjectField
public Reference getObjectField(String fname, String referenceType)(Code)



getRef
abstract protected Ref getRef()(Code)
The various lock methods need access to a Ref object to do their work. The subclass should return an appropriate type. This is a simple factory method. the right kind of Ref object for the given ElementInfo



getReferenceField
public int getReferenceField(String fname, String clsBase)(Code)



getReferenceField
public int getReferenceField(String fname)(Code)



getShortField
public short getShortField(String fname, String refType)(Code)



getStoringData
public int[] getStoringData()(Code)



getStoringDataLength
public int getStoringDataLength()(Code)
<2do>pcm - these two will become the new Storable interface (but that has a huge fan out)



getStringField
public String getStringField(String fname, String referenceType)(Code)



getThisReference
public int getThisReference()(Code)



getType
public String getType()(Code)



getWaitingThreads
public int[] getWaitingThreads()(Code)



hasEqualPropagatedAttributes
boolean hasEqualPropagatedAttributes(int refAttrs, int attrMask)(Code)



hasRefField
boolean hasRefField(int objRef)(Code)
do we have a reference field with value objRef?



hash
public void hash(HashData hd)(Code)



hashCode
public int hashCode()(Code)



instanceOf
public boolean instanceOf(String type)(Code)



interrupt
public void interrupt()(Code)



isArray
public boolean isArray()(Code)



isImmutable
public boolean isImmutable()(Code)



isLocked
public boolean isLocked()(Code)



isLockedBy
boolean isLockedBy(ThreadInfo ti)(Code)



isNull
public boolean isNull()(Code)



isSchedulingRelevant
public boolean isSchedulingRelevant()(Code)



isShared
public boolean isShared()(Code)



linearize
public Vector linearize(Vector result)(Code)



lock
public void lock(ThreadInfo th)(Code)



lockNotified
public void lockNotified(ThreadInfo th)(Code)



log
public void log()(Code)



markRecursive
void markRecursive(int tid, int attrMask)(Code)
the recursive phase2 marker entry, which propagates the attributes set by a previous phase1. This one is called on all 'root'-marked objects after phase1 is completed. ElementInfo is not an ideal place for this method, as it has to access some innards of both ClassInfo (FieldInfo container) and Fields. But on the other hand, we want to keep the whole heap traversal business as much centralized in ElementInfo and DynamicArea as possible



needsAttributePropagationFrom
public boolean needsAttributePropagationFrom(ElementInfo ei)(Code)
check if there are any propagated attributes in ei we don't have yet



notifies
public void notifies()(Code)



notifiesAll
public void notifiesAll()(Code)



outOfBounds
public boolean outOfBounds(int index)(Code)



pinDown
public void pinDown(boolean keepAlive)(Code)
imperatively set GC status
Parameters:
  keepAlive - -true: keep alive no matter what, false: gc normally



propagateAttributes
void propagateAttributes(int refAttr, int attrMask)(Code)



setArea
public void setArea(Area newArea)(Code)



setElement
public void setElement(int index, int value)(Code)



setFieldLockInfo
public void setFieldLockInfo(String fid, FieldLockInfo flInfo)(Code)



setFieldsIndex
protected void setFieldsIndex(int index)(Code)



setIndex
public void setIndex(int newIndex)(Code)



setIntField
public void setIntField(FieldInfo fi, int value)(Code)



setIntField
public void setIntField(String fname, String clsBase, int value)(Code)



setIntField
public void setIntField(String fname, int value)(Code)



setLongElement
public void setLongElement(int index, long value)(Code)



setLongField
public void setLongField(String fname, long value)(Code)



setLongField
public void setLongField(String fname, String clsBase, long value)(Code)



setLongField
public void setLongField(FieldInfo fi, long val)(Code)



setMonitorIndex
protected void setMonitorIndex(int index)(Code)



setReferenceField
public void setReferenceField(FieldInfo fi, int value)(Code)



setReferenceField
public void setReferenceField(String fname, String clsBase, int value)(Code)



setReferenceField
public void setReferenceField(String fname, int value)(Code)



setShared
void setShared()(Code)



setShared
void setShared(int attrMask)(Code)
set shared, but only if the ATTR_TSHARED bit isn't masked out



storeDataTo
public int storeDataTo(int[] buffer, int idx)(Code)
this is the heavy duty state storer for ElementInfos



toString
public String toString()(Code)



unlock
public void unlock(ThreadInfo th)(Code)



updateLockingInfo
void updateLockingInfo()(Code)



updateReachability
void updateReachability(int oldRef, int newRef)(Code)



wait
public void wait(ThreadInfo th)(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)

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