Java Doc for VisitorSymbolicEvaluator.java in  » Code-Analyzer » Spoon » spoon » support » 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.support.reflect.eval   Source Cross Reference   Class Diagram   Java Document (Java Doc)   java.lang.Object    spoon.support.reflect.eval.VisitorSymbolicEvaluator VisitorSymbolicEvaluator public class VisitorSymbolicEvaluator implements CtVisitor,SymbolicEvaluator(Code) This visitor implements an abstract evaluator for the program compile-time metamodel. Inner Class :class BranchingPoint Field Summary protected  Stack<BranchingPoint> branchingPoints      protected  SymbolicHeap heap      protected  SymbolicEvaluationStack stack       List<CtTypeReference<?>> statefullExternals      Constructor Summary public   VisitorSymbolicEvaluator(SymbolicEvaluatorObserver[] observers)      The default constructor. Method Summary public  void addObserver(SymbolicEvaluatorObserver observer)      public  void addObservers(List<SymbolicEvaluatorObserver> evaluatorObservers)       Number convert(CtTypeReference type, Number n)       void enterExecutable(CtAbstractInvocation caller, CtExecutableReference eref, SymbolicInstance target, List<SymbolicInstance<?>> args)      public  SymbolicInstance evaluate(CtElement element)      public  SymbolicInstance<T> evaluate(CtExpression<T> expression)      protected  SymbolicInstance evaluateBranches(CtElement... branches)       void exitExecutable(CtExecutableReference eref)      public  SymbolicHeap getHeap()      public  SymbolicEvaluationStack getStack()      public  List<CtTypeReference<?>> getStatefullExternals()      public  void invoke(CtExecutable executable, SymbolicInstance... args)      public  void invoke(SymbolicInstance target, CtExecutable executable, List<SymbolicInstance<?>> args)      public  void invoke(CtExecutable executable)       boolean isAccessible(CtFieldReference field)       boolean isGetter(CtExecutableReference e)      Tell if the given method follows the getter naming conventions.  boolean isSetter(CtExecutableReference e)      Tell if the given method follows the setter naming conventions.  boolean isStateFullExternal(CtTypeReference type)      protected  void notifyEndPath()      protected  void notifyEnterStep(SymbolicEvaluationStep step)      protected  void notifyExitStep(SymbolicEvaluationStep step)      protected  void notifyStartPath()      public  void reset()      public  void visitCtAnnotation(CtAnnotation<A> annotation)      public  void visitCtAnnotationType(CtAnnotationType<A> annotationType)      public  void visitCtAnonymousExecutable(CtAnonymousExecutable impl)      public  void visitCtArrayAccess(CtArrayAccess<T, E> arrayAccess)      public  void visitCtArrayTypeReference(CtArrayTypeReference<T> reference)      public  void visitCtAssert(CtAssert<T> asserted)      public  void visitCtAssignment(CtAssignment<T, A> assignment)      public  void visitCtBinaryOperator(CtBinaryOperator<T> operator)      public  void visitCtBlock(CtBlock<R> block)      public  void visitCtBreak(CtBreak breakStatement)      public  void visitCtCase(CtCase<E> caseStatement)      public  void visitCtCatch(CtCatch catchBlock)      public  void visitCtClass(CtClass<T> ctClass)      public  void visitCtCodeSnippetExpression(CtCodeSnippetExpression<T> expression)      public  void visitCtCodeSnippetStatement(CtCodeSnippetStatement statement)      public  void visitCtConditional(CtConditional<T> conditional)      public  void visitCtConstructor(CtConstructor<T> c)      public  void visitCtContinue(CtContinue continueStatement)      public  void visitCtDo(CtDo doLoop)      public  void visitCtEnum(CtEnum<T> ctEnum)      public  void visitCtExecutableReference(CtExecutableReference<T> reference)      public  void visitCtField(CtField<T> f)      public  void visitCtFieldAccess(CtFieldAccess<T> fieldAccess)      public  void visitCtFieldReference(CtFieldReference<T> reference)      public  void visitCtFor(CtFor forLoop)      public  void visitCtForEach(CtForEach foreach)      public  void visitCtIf(CtIf ifElement)      public  void visitCtInterface(CtInterface<T> intrface)      public  void visitCtInvocation(CtInvocation<T> invocation)      public  void visitCtLiteral(CtLiteral<T> literal)      public  void visitCtLocalVariable(CtLocalVariable<T> localVariable)      public  void visitCtLocalVariableReference(CtLocalVariableReference<T> reference)      public  void visitCtMethod(CtMethod<T> m)      public  void visitCtNewArray(CtNewArray<T> newArray)      public  void visitCtNewClass(CtNewClass<T> newClass)      public  void visitCtOperatorAssignement(CtOperatorAssignment<T, A> assignment)      public  void visitCtPackage(CtPackage ctPackage)      public  void visitCtPackageReference(CtPackageReference reference)      public  void visitCtParameter(CtParameter<T> parameter)      public  void visitCtParameterReference(CtParameterReference<T> reference)      public  void visitCtReturn(CtReturn<R> returnStatement)      public  void visitCtStatementList(CtStatementList<R> statements)      public  void visitCtSwitch(CtSwitch<E> switchStatement)      public  void visitCtSynchronized(CtSynchronized synchro)      public  void visitCtThrow(CtThrow throwStatement)      public  void visitCtTry(CtTry tryBlock)      public  void visitCtTypeParameter(CtTypeParameter typeParameter)      public  void visitCtTypeParameterReference(CtTypeParameterReference ref)      public  void visitCtTypeReference(CtTypeReference<T> reference)      public  void visitCtUnaryOperator(CtUnaryOperator<T> operator)      public  void visitCtVariableAccess(CtVariableAccess<T> variableAccess)      public  void visitCtWhile(CtWhile whileLoop)      Field Detail branchingPoints protected Stack<BranchingPoint> branchingPoints(Code) heap protected SymbolicHeap heap(Code) stack protected SymbolicEvaluationStack stack(Code) statefullExternals List<CtTypeReference<?>> statefullExternals(Code) Constructor Detail VisitorSymbolicEvaluator public VisitorSymbolicEvaluator(SymbolicEvaluatorObserver[] observers)(Code) The default constructor. Parameters:   observers - observers to be notified of the progress of the evaluation Method Detail addObserver public void addObserver(SymbolicEvaluatorObserver observer)(Code) addObservers public void addObservers(List<SymbolicEvaluatorObserver> evaluatorObservers)(Code) convert Number convert(CtTypeReference type, Number n)(Code) enterExecutable void enterExecutable(CtAbstractInvocation caller, CtExecutableReference eref, SymbolicInstance target, List<SymbolicInstance<?>> args)(Code) evaluate public SymbolicInstance evaluate(CtElement element)(Code) evaluate public SymbolicInstance<T> evaluate(CtExpression<T> expression)(Code) evaluateBranches protected SymbolicInstance evaluateBranches(CtElement... branches)(Code) exitExecutable void exitExecutable(CtExecutableReference eref)(Code) getHeap public SymbolicHeap getHeap()(Code) getStack public SymbolicEvaluationStack getStack()(Code) getStatefullExternals public List<CtTypeReference<?>> getStatefullExternals()(Code) invoke public void invoke(CtExecutable executable, SymbolicInstance... args)(Code) invoke public void invoke(SymbolicInstance target, CtExecutable executable, List<SymbolicInstance<?>> args)(Code) invoke public void invoke(CtExecutable executable)(Code) isAccessible boolean isAccessible(CtFieldReference field)(Code) isGetter boolean isGetter(CtExecutableReference e)(Code) Tell if the given method follows the getter naming conventions. isSetter boolean isSetter(CtExecutableReference e)(Code) Tell if the given method follows the setter naming conventions. isStateFullExternal boolean isStateFullExternal(CtTypeReference type)(Code) notifyEndPath protected void notifyEndPath()(Code) notifyEnterStep protected void notifyEnterStep(SymbolicEvaluationStep step)(Code) notifyExitStep protected void notifyExitStep(SymbolicEvaluationStep step)(Code) notifyStartPath protected void notifyStartPath()(Code) reset public void reset()(Code) visitCtAnnotation public void visitCtAnnotation(CtAnnotation<A> annotation)(Code) visitCtAnnotationType public void visitCtAnnotationType(CtAnnotationType<A> annotationType)(Code) visitCtAnonymousExecutable public void visitCtAnonymousExecutable(CtAnonymousExecutable impl)(Code) visitCtArrayAccess public void visitCtArrayAccess(CtArrayAccess<T, E> arrayAccess)(Code) visitCtArrayTypeReference public void visitCtArrayTypeReference(CtArrayTypeReference<T> reference)(Code) visitCtAssert public void visitCtAssert(CtAssert<T> asserted)(Code) visitCtAssignment public void visitCtAssignment(CtAssignment<T, A> assignment)(Code) visitCtBinaryOperator public void visitCtBinaryOperator(CtBinaryOperator<T> operator)(Code) visitCtBlock public void visitCtBlock(CtBlock<R> block)(Code) visitCtBreak public void visitCtBreak(CtBreak breakStatement)(Code) visitCtCase public void visitCtCase(CtCase<E> caseStatement)(Code) visitCtCatch public void visitCtCatch(CtCatch catchBlock)(Code) visitCtClass public void visitCtClass(CtClass<T> ctClass)(Code) visitCtCodeSnippetExpression public void visitCtCodeSnippetExpression(CtCodeSnippetExpression<T> expression)(Code) visitCtCodeSnippetStatement public void visitCtCodeSnippetStatement(CtCodeSnippetStatement statement)(Code) visitCtConditional public void visitCtConditional(CtConditional<T> conditional)(Code) visitCtConstructor public void visitCtConstructor(CtConstructor<T> c)(Code) visitCtContinue public void visitCtContinue(CtContinue continueStatement)(Code) visitCtDo public void visitCtDo(CtDo doLoop)(Code) visitCtEnum public void visitCtEnum(CtEnum<T> ctEnum)(Code) visitCtExecutableReference public void visitCtExecutableReference(CtExecutableReference<T> reference)(Code) visitCtField public void visitCtField(CtField<T> f)(Code) visitCtFieldAccess public void visitCtFieldAccess(CtFieldAccess<T> fieldAccess)(Code) visitCtFieldReference public void visitCtFieldReference(CtFieldReference<T> reference)(Code) visitCtFor public void visitCtFor(CtFor forLoop)(Code) visitCtForEach public void visitCtForEach(CtForEach foreach)(Code) visitCtIf public void visitCtIf(CtIf ifElement)(Code) visitCtInterface public void visitCtInterface(CtInterface<T> intrface)(Code) visitCtInvocation public void visitCtInvocation(CtInvocation<T> invocation)(Code) visitCtLiteral public void visitCtLiteral(CtLiteral<T> literal)(Code) visitCtLocalVariable public void visitCtLocalVariable(CtLocalVariable<T> localVariable)(Code) visitCtLocalVariableReference public void visitCtLocalVariableReference(CtLocalVariableReference<T> reference)(Code) visitCtMethod public void visitCtMethod(CtMethod<T> m)(Code) visitCtNewArray public void visitCtNewArray(CtNewArray<T> newArray)(Code) visitCtNewClass public void visitCtNewClass(CtNewClass<T> newClass)(Code) visitCtOperatorAssignement public void visitCtOperatorAssignement(CtOperatorAssignment<T, A> assignment)(Code) visitCtPackage public void visitCtPackage(CtPackage ctPackage)(Code) visitCtPackageReference public void visitCtPackageReference(CtPackageReference reference)(Code) visitCtParameter public void visitCtParameter(CtParameter<T> parameter)(Code) visitCtParameterReference public void visitCtParameterReference(CtParameterReference<T> reference)(Code) visitCtReturn public void visitCtReturn(CtReturn<R> returnStatement)(Code) visitCtStatementList public void visitCtStatementList(CtStatementList<R> statements)(Code) visitCtSwitch public void visitCtSwitch(CtSwitch<E> switchStatement)(Code) visitCtSynchronized public void visitCtSynchronized(CtSynchronized synchro)(Code) visitCtThrow public void visitCtThrow(CtThrow throwStatement)(Code) visitCtTry public void visitCtTry(CtTry tryBlock)(Code) visitCtTypeParameter public void visitCtTypeParameter(CtTypeParameter typeParameter)(Code) visitCtTypeParameterReference public void visitCtTypeParameterReference(CtTypeParameterReference ref)(Code) visitCtTypeReference public void visitCtTypeReference(CtTypeReference<T> reference)(Code) visitCtUnaryOperator public void visitCtUnaryOperator(CtUnaryOperator<T> operator)(Code) visitCtVariableAccess public void visitCtVariableAccess(CtVariableAccess<T> variableAccess)(Code) visitCtWhile public void visitCtWhile(CtWhile whileLoop)(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)