Java Doc for SymbolicInstance.java in  » Code-Analyzer » Spoon » spoon » reflect » eval » 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 » Spoon » spoon.reflect.eval   Source Cross Reference   Class Diagram   Java Document (Java Doc)   java.lang.Object    spoon.reflect.eval.SymbolicInstance SymbolicInstance public class SymbolicInstance (Code) This class represents symbolic values that can be used by spoon.reflect.eval.SymbolicEvaluator . Field Summary final public static  SymbolicInstance<Boolean> FALSE      The false literal symbolic instance. final public static  SymbolicInstance NEG_DOMAIN      The strictly negative domain symbolic instance. final public static  SymbolicInstance NULL      The null literal symbolic instance. final public static  SymbolicInstance POS_DOMAIN      The strictly positive domain symbolic instance. final public static  SymbolicInstance<Boolean> TRUE      The true literal symbolic instance. final public static  SymbolicInstance ZERO      The 0 literal symbolic instance. final public static  SymbolicInstance ZERONEG_DOMAIN      The positive domain symbolic instance. final public static  SymbolicInstance ZEROPOS_DOMAIN      The positive domain symbolic instance. static  long id       String literal      Constructor Summary public   SymbolicInstance(String literal)      Creates a literal symbolic instance. public   SymbolicInstance(SymbolicEvaluator evaluator, CtTypeReference<T> concreteType, boolean isType)      Creates a new abstract instance (logical value). public   SymbolicInstance(SymbolicInstance<T> i)      Creates a copy of the given instance. Method Summary public  boolean equals(Object obj)      Tests the equality. public  boolean equalsRef(Object obj)      Tests the equality by reference. public  SymbolicInstance<T> getClone()      Gets a copy of this instance (if the instance is stateless, returns this). public  CtTypeReference<T> getConcreteType()      Gets the type of the abstract instance. public  String getFieldValue(CtVariableReference fref)      Gets the value of a field belonging to this instance, as an abstract instance id. public  String getFieldValue(String fname)      Gets the value of a field belonging to this instance and identified by its name, as an abstract instance id. public  Map<CtVariableReference<?>, String> getFields()      Gets the fields for this instance. public  String getId()      Gets the unique Id of this abstract instance. public static  String getSymbolId(CtTypeReference concreteType, String name)      Helper method to get the symbol's unique Id from its type and its name. public  String getSymbolName()      Gets the name of this symbolic instance. public  boolean isExternal()      Tells if this instance is a wrapper for an instance external from the evaluator (regular Java object). public  boolean isStateful()      Tells if this logical value is stateful or not. public static  void resetIds()      Resets the id counter. public  void setFieldValue(SymbolicHeap heap, CtVariableReference fref, SymbolicInstance value)      Sets the value of a field belonging to this instance, and stores the instance on the heap. public  String toString()      A string representation. Field Detail FALSE final public static SymbolicInstance<Boolean> FALSE(Code) The false literal symbolic instance. NEG_DOMAIN final public static SymbolicInstance NEG_DOMAIN(Code) The strictly negative domain symbolic instance. NULL final public static SymbolicInstance NULL(Code) The null literal symbolic instance. POS_DOMAIN final public static SymbolicInstance POS_DOMAIN(Code) The strictly positive domain symbolic instance. TRUE final public static SymbolicInstance<Boolean> TRUE(Code) The true literal symbolic instance. ZERO final public static SymbolicInstance ZERO(Code) The 0 literal symbolic instance. ZERONEG_DOMAIN final public static SymbolicInstance ZERONEG_DOMAIN(Code) The positive domain symbolic instance. ZEROPOS_DOMAIN final public static SymbolicInstance ZEROPOS_DOMAIN(Code) The positive domain symbolic instance. id static long id(Code) literal String literal(Code) Constructor Detail SymbolicInstance public SymbolicInstance(String literal)(Code) Creates a literal symbolic instance. SymbolicInstance public SymbolicInstance(SymbolicEvaluator evaluator, CtTypeReference<T> concreteType, boolean isType)(Code) Creates a new abstract instance (logical value). Parameters:   evaluator - the evaluator Parameters:   concreteType - the type of the instance Parameters:   isType - tells if it is a type instance or a regular instance SymbolicInstance public SymbolicInstance(SymbolicInstance<T> i)(Code) Creates a copy of the given instance. Method Detail equals public boolean equals(Object obj)(Code) Tests the equality. equalsRef public boolean equalsRef(Object obj)(Code) Tests the equality by reference. getClone public SymbolicInstance<T> getClone()(Code) Gets a copy of this instance (if the instance is stateless, returns this). getConcreteType public CtTypeReference<T> getConcreteType()(Code) Gets the type of the abstract instance. getFieldValue public String getFieldValue(CtVariableReference fref)(Code) Gets the value of a field belonging to this instance, as an abstract instance id. null if non-existing field getFieldValue public String getFieldValue(String fname)(Code) Gets the value of a field belonging to this instance and identified by its name, as an abstract instance id. null if non-existing field getFields public Map<CtVariableReference<?>, String> getFields()(Code) Gets the fields for this instance. getId public String getId()(Code) Gets the unique Id of this abstract instance. getSymbolId public static String getSymbolId(CtTypeReference concreteType, String name)(Code) Helper method to get the symbol's unique Id from its type and its name. Parameters:   concreteType - the type Parameters:   name - the name (can be null) a unique Id or the type id if name is null getSymbolName public String getSymbolName()(Code) Gets the name of this symbolic instance. isExternal public boolean isExternal()(Code) Tells if this instance is a wrapper for an instance external from the evaluator (regular Java object). isStateful public boolean isStateful()(Code) Tells if this logical value is stateful or not. resetIds public static void resetIds()(Code) Resets the id counter. setFieldValue public void setFieldValue(SymbolicHeap heap, CtVariableReference fref, SymbolicInstance value)(Code) Sets the value of a field belonging to this instance, and stores the instance on the heap. toString public String toString()(Code) A string representation. 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)