Java Doc for TypeSchemeConstraintExtractor.java in  » Testing » KeY » de » uka » ilkd » key » rule » encapsulation » 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 » Testing » KeY » de.uka.ilkd.key.rule.encapsulation   Source Cross Reference   Class Diagram   Java Document (Java Doc)   java.lang.Object    de.uka.ilkd.key.rule.encapsulation.TypeSchemeConstraintExtractor TypeSchemeConstraintExtractor class TypeSchemeConstraintExtractor implements Visitor(Code) Constructor Summary public   TypeSchemeConstraintExtractor(Services services)      Method Summary public  ListOfTypeSchemeConstraint extract(ProgramElement root, Map annotations, SVInstantiations svInst)      Compares a program with the universe type rules. public  ListOfProgramMethod getCoveredMethods()      Returns a list of the methods which have been analysed in the last run of extract(). public  void performActionOnAbstractProgramElement(AbstractProgramElement x)      public  void performActionOnArrayDeclaration(ArrayDeclaration x)      public  void performActionOnArrayInitializer(ArrayInitializer x)      public  void performActionOnArrayLengthReference(ArrayLengthReference x)      public  void performActionOnArrayReference(ArrayReference x)      public  void performActionOnAssert(Assert assert1)      public  void performActionOnBinaryAnd(BinaryAnd x)      public  void performActionOnBinaryAndAssignment(BinaryAndAssignment x)      public  void performActionOnBinaryNot(BinaryNot x)      public  void performActionOnBinaryOr(BinaryOr x)      public  void performActionOnBinaryOrAssignment(BinaryOrAssignment x)      public  void performActionOnBinaryXOr(BinaryXOr x)      public  void performActionOnBinaryXOrAssignment(BinaryXOrAssignment x)      public  void performActionOnBooleanLiteral(BooleanLiteral x)      public  void performActionOnBreak(Break x)      public  void performActionOnCase(Case x)      public  void performActionOnCatch(Catch x)      public  void performActionOnCatchAllStatement(CatchAllStatement x)      public  void performActionOnCharLiteral(CharLiteral x)      public  void performActionOnClassDeclaration(ClassDeclaration x)      public  void performActionOnClassInitializer(ClassInitializer x)      public  void performActionOnComment(Comment x)      public  void performActionOnCompilationUnit(CompilationUnit x)      public  void performActionOnConditional(Conditional x)      public  void performActionOnConstructorDeclaration(ConstructorDeclaration x)      public  void performActionOnContextStatementBlock(ContextStatementBlock x)      public  void performActionOnContinue(Continue x)      public  void performActionOnCopyAssignment(CopyAssignment x)      public  void performActionOnDefault(Default x)      public  void performActionOnDivide(Divide x)      public  void performActionOnDivideAssignment(DivideAssignment x)      public  void performActionOnDo(Do x)      public  void performActionOnDoubleLiteral(DoubleLiteral x)      public  void performActionOnElse(Else x)      public  void performActionOnEmptyStatement(EmptyStatement x)      public  void performActionOnEquals(Equals x)      public  void performActionOnExactInstanceof(ExactInstanceof x)      public  void performActionOnExecutionContext(ExecutionContext x)      public  void performActionOnExtends(Extends x)      public  void performActionOnFieldDeclaration(FieldDeclaration x)      public  void performActionOnFieldReference(FieldReference x)      public  void performActionOnFieldSpecification(FieldSpecification x)      public  void performActionOnFinally(Finally x)      public  void performActionOnFloatLiteral(FloatLiteral x)      public  void performActionOnFor(For x)      public  void performActionOnForUpdates(ForUpdates x)      public  void performActionOnGreaterOrEquals(GreaterOrEquals x)      public  void performActionOnGreaterThan(GreaterThan x)      public  void performActionOnGuard(Guard x)      public  void performActionOnIf(If x)      public  void performActionOnImplements(Implements x)      public  void performActionOnImplicitFieldSpecification(ImplicitFieldSpecification x)      public  void performActionOnImport(Import x)      public  void performActionOnInstanceof(Instanceof x)      public  void performActionOnIntLiteral(IntLiteral x)      public  void performActionOnInterfaceDeclaration(InterfaceDeclaration x)      public  void performActionOnLabeledStatement(LabeledStatement x)      public  void performActionOnLessOrEquals(LessOrEquals x)      public  void performActionOnLessThan(LessThan x)      public  void performActionOnLocalVariableDeclaration(LocalVariableDeclaration x)      public  void performActionOnLocationVariable(LocationVariable x)      public  void performActionOnLogicalAnd(LogicalAnd x)      public  void performActionOnLogicalNot(LogicalNot x)      public  void performActionOnLogicalOr(LogicalOr x)      public  void performActionOnLongLiteral(LongLiteral x)      public  void performActionOnLoopInit(LoopInit x)      public  void performActionOnMetaClassReference(MetaClassReference x)      public  void performActionOnMethod(ProgramMethod x)      public  void performActionOnMethodBodyStatement(MethodBodyStatement x)      public  void performActionOnMethodDeclaration(MethodDeclaration x)      public  void performActionOnMethodFrame(MethodFrame x)      public  void performActionOnMethodReference(MethodReference x)      public  void performActionOnMinus(Minus x)      public  void performActionOnMinusAssignment(MinusAssignment x)      public  void performActionOnModifier(Modifier x)      public  void performActionOnModulo(Modulo x)      public  void performActionOnModuloAssignment(ModuloAssignment x)      public  void performActionOnNegative(Negative x)      public  void performActionOnNew(New x)      public  void performActionOnNewArray(NewArray x)      public  void performActionOnNotEquals(NotEquals x)      public  void performActionOnNullLiteral(NullLiteral x)      public  void performActionOnPackageReference(PackageReference x)      public  void performActionOnPackageSpecification(PackageSpecification x)      public  void performActionOnParameterDeclaration(ParameterDeclaration x)      public  void performActionOnParenthesizedExpression(ParenthesizedExpression x)      public  void performActionOnPassiveExpression(PassiveExpression x)      public  void performActionOnPlus(Plus x)      public  void performActionOnPlusAssignment(PlusAssignment x)      public  void performActionOnPositive(Positive x)      public  void performActionOnPostDecrement(PostDecrement x)      public  void performActionOnPostIncrement(PostIncrement x)      public  void performActionOnPreDecrement(PreDecrement x)      public  void performActionOnPreIncrement(PreIncrement x)      public  void performActionOnProgramConstant(ProgramConstant x)      public  void performActionOnProgramElementName(ProgramElementName x)      public  void performActionOnProgramMetaConstruct(ProgramMetaConstruct x)      public  void performActionOnProgramMethod(ProgramMethod x)      public  void performActionOnProgramSVProxy(ProgramSVProxy x)      public  void performActionOnProgramSVSkolem(ProgramSVSkolem x)      public  void performActionOnProgramVariable(ProgramVariable x)      public  void performActionOnReturn(Return x)      public  void performActionOnSchemaVariable(SchemaVariable x)      public  void performActionOnSchematicFieldReference(SchematicFieldReference x)      public  void performActionOnShiftLeft(ShiftLeft x)      public  void performActionOnShiftLeftAssignment(ShiftLeftAssignment x)      public  void performActionOnShiftRight(ShiftRight x)      public  void performActionOnShiftRightAssignment(ShiftRightAssignment x)      public  void performActionOnStatementBlock(StatementBlock x)      public  void performActionOnStringLiteral(StringLiteral x)      public  void performActionOnSuperArrayDeclaration(SuperArrayDeclaration x)      public  void performActionOnSuperConstructorReference(SuperConstructorReference x)      public  void performActionOnSuperReference(SuperReference x)      public  void performActionOnSwitch(Switch x)      public  void performActionOnSynchronizedBlock(SynchronizedBlock x)      public  void performActionOnThen(Then x)      public  void performActionOnThisConstructorReference(ThisConstructorReference x)      public  void performActionOnThisReference(ThisReference x)      public  void performActionOnThrow(Throw x)      public  void performActionOnThrows(Throws x)      public  void performActionOnTimes(Times x)      public  void performActionOnTimesAssignment(TimesAssignment x)      public  void performActionOnTry(Try x)      public  void performActionOnTypeCast(TypeCast x)      public  void performActionOnTypeReference(TypeReference x)      public  void performActionOnUnsignedShiftRight(UnsignedShiftRight x)      public  void performActionOnUnsignedShiftRightAssignment(UnsignedShiftRightAssignment x)      public  void performActionOnVariableDeclaration(VariableDeclaration x)      public  void performActionOnVariableReference(VariableReference x)      public  void performActionOnVariableSpecification(VariableSpecification x)      public  void performActionOnWhile(While x)      Constructor Detail TypeSchemeConstraintExtractor public TypeSchemeConstraintExtractor(Services services)(Code) Method Detail extract public ListOfTypeSchemeConstraint extract(ProgramElement root, Map annotations, SVInstantiations svInst)(Code) Compares a program with the universe type rules. Parameters:   root - the program Parameters:   annotations - map from Location to TypeSchemeTerm containingthe predefined field annotations; fields not contained in the map aretaken to have type scheme rootS Parameters:   svInst - sv instantiations a list of constraints describing what must hold for the programto satisfy the type rules getCoveredMethods public ListOfProgramMethod getCoveredMethods()(Code) Returns a list of the methods which have been analysed in the last run of extract(). performActionOnAbstractProgramElement public void performActionOnAbstractProgramElement(AbstractProgramElement x)(Code) performActionOnArrayDeclaration public void performActionOnArrayDeclaration(ArrayDeclaration x)(Code) performActionOnArrayInitializer public void performActionOnArrayInitializer(ArrayInitializer x)(Code) performActionOnArrayLengthReference public void performActionOnArrayLengthReference(ArrayLengthReference x)(Code) performActionOnArrayReference public void performActionOnArrayReference(ArrayReference x)(Code) performActionOnAssert public void performActionOnAssert(Assert assert1)(Code) performActionOnBinaryAnd public void performActionOnBinaryAnd(BinaryAnd x)(Code) performActionOnBinaryAndAssignment public void performActionOnBinaryAndAssignment(BinaryAndAssignment x)(Code) performActionOnBinaryNot public void performActionOnBinaryNot(BinaryNot x)(Code) performActionOnBinaryOr public void performActionOnBinaryOr(BinaryOr x)(Code) performActionOnBinaryOrAssignment public void performActionOnBinaryOrAssignment(BinaryOrAssignment x)(Code) performActionOnBinaryXOr public void performActionOnBinaryXOr(BinaryXOr x)(Code) performActionOnBinaryXOrAssignment public void performActionOnBinaryXOrAssignment(BinaryXOrAssignment x)(Code) performActionOnBooleanLiteral public void performActionOnBooleanLiteral(BooleanLiteral x)(Code) performActionOnBreak public void performActionOnBreak(Break x)(Code) performActionOnCase public void performActionOnCase(Case x)(Code) performActionOnCatch public void performActionOnCatch(Catch x)(Code) performActionOnCatchAllStatement public void performActionOnCatchAllStatement(CatchAllStatement x)(Code) performActionOnCharLiteral public void performActionOnCharLiteral(CharLiteral x)(Code) performActionOnClassDeclaration public void performActionOnClassDeclaration(ClassDeclaration x)(Code) performActionOnClassInitializer public void performActionOnClassInitializer(ClassInitializer x)(Code) performActionOnComment public void performActionOnComment(Comment x)(Code) performActionOnCompilationUnit public void performActionOnCompilationUnit(CompilationUnit x)(Code) performActionOnConditional public void performActionOnConditional(Conditional x)(Code) performActionOnConstructorDeclaration public void performActionOnConstructorDeclaration(ConstructorDeclaration x)(Code) performActionOnContextStatementBlock public void performActionOnContextStatementBlock(ContextStatementBlock x)(Code) performActionOnContinue public void performActionOnContinue(Continue x)(Code) performActionOnCopyAssignment public void performActionOnCopyAssignment(CopyAssignment x)(Code) performActionOnDefault public void performActionOnDefault(Default x)(Code) performActionOnDivide public void performActionOnDivide(Divide x)(Code) performActionOnDivideAssignment public void performActionOnDivideAssignment(DivideAssignment x)(Code) performActionOnDo public void performActionOnDo(Do x)(Code) performActionOnDoubleLiteral public void performActionOnDoubleLiteral(DoubleLiteral x)(Code) performActionOnElse public void performActionOnElse(Else x)(Code) performActionOnEmptyStatement public void performActionOnEmptyStatement(EmptyStatement x)(Code) performActionOnEquals public void performActionOnEquals(Equals x)(Code) performActionOnExactInstanceof public void performActionOnExactInstanceof(ExactInstanceof x)(Code) performActionOnExecutionContext public void performActionOnExecutionContext(ExecutionContext x)(Code) performActionOnExtends public void performActionOnExtends(Extends x)(Code) performActionOnFieldDeclaration public void performActionOnFieldDeclaration(FieldDeclaration x)(Code) performActionOnFieldReference public void performActionOnFieldReference(FieldReference x)(Code) performActionOnFieldSpecification public void performActionOnFieldSpecification(FieldSpecification x)(Code) performActionOnFinally public void performActionOnFinally(Finally x)(Code) performActionOnFloatLiteral public void performActionOnFloatLiteral(FloatLiteral x)(Code) performActionOnFor public void performActionOnFor(For x)(Code) performActionOnForUpdates public void performActionOnForUpdates(ForUpdates x)(Code) performActionOnGreaterOrEquals public void performActionOnGreaterOrEquals(GreaterOrEquals x)(Code) performActionOnGreaterThan public void performActionOnGreaterThan(GreaterThan x)(Code) performActionOnGuard public void performActionOnGuard(Guard x)(Code) performActionOnIf public void performActionOnIf(If x)(Code) performActionOnImplements public void performActionOnImplements(Implements x)(Code) performActionOnImplicitFieldSpecification public void performActionOnImplicitFieldSpecification(ImplicitFieldSpecification x)(Code) performActionOnImport public void performActionOnImport(Import x)(Code) performActionOnInstanceof public void performActionOnInstanceof(Instanceof x)(Code) performActionOnIntLiteral public void performActionOnIntLiteral(IntLiteral x)(Code) performActionOnInterfaceDeclaration public void performActionOnInterfaceDeclaration(InterfaceDeclaration x)(Code) performActionOnLabeledStatement public void performActionOnLabeledStatement(LabeledStatement x)(Code) performActionOnLessOrEquals public void performActionOnLessOrEquals(LessOrEquals x)(Code) performActionOnLessThan public void performActionOnLessThan(LessThan x)(Code) performActionOnLocalVariableDeclaration public void performActionOnLocalVariableDeclaration(LocalVariableDeclaration x)(Code) performActionOnLocationVariable public void performActionOnLocationVariable(LocationVariable x)(Code) performActionOnLogicalAnd public void performActionOnLogicalAnd(LogicalAnd x)(Code) performActionOnLogicalNot public void performActionOnLogicalNot(LogicalNot x)(Code) performActionOnLogicalOr public void performActionOnLogicalOr(LogicalOr x)(Code) performActionOnLongLiteral public void performActionOnLongLiteral(LongLiteral x)(Code) performActionOnLoopInit public void performActionOnLoopInit(LoopInit x)(Code) performActionOnMetaClassReference public void performActionOnMetaClassReference(MetaClassReference x)(Code) performActionOnMethod public void performActionOnMethod(ProgramMethod x)(Code) performActionOnMethodBodyStatement public void performActionOnMethodBodyStatement(MethodBodyStatement x)(Code) performActionOnMethodDeclaration public void performActionOnMethodDeclaration(MethodDeclaration x)(Code) performActionOnMethodFrame public void performActionOnMethodFrame(MethodFrame x)(Code) performActionOnMethodReference public void performActionOnMethodReference(MethodReference x)(Code) performActionOnMinus public void performActionOnMinus(Minus x)(Code) performActionOnMinusAssignment public void performActionOnMinusAssignment(MinusAssignment x)(Code) performActionOnModifier public void performActionOnModifier(Modifier x)(Code) performActionOnModulo public void performActionOnModulo(Modulo x)(Code) performActionOnModuloAssignment public void performActionOnModuloAssignment(ModuloAssignment x)(Code) performActionOnNegative public void performActionOnNegative(Negative x)(Code) performActionOnNew public void performActionOnNew(New x)(Code) performActionOnNewArray public void performActionOnNewArray(NewArray x)(Code) performActionOnNotEquals public void performActionOnNotEquals(NotEquals x)(Code) performActionOnNullLiteral public void performActionOnNullLiteral(NullLiteral x)(Code) performActionOnPackageReference public void performActionOnPackageReference(PackageReference x)(Code) performActionOnPackageSpecification public void performActionOnPackageSpecification(PackageSpecification x)(Code) performActionOnParameterDeclaration public void performActionOnParameterDeclaration(ParameterDeclaration x)(Code) performActionOnParenthesizedExpression public void performActionOnParenthesizedExpression(ParenthesizedExpression x)(Code) performActionOnPassiveExpression public void performActionOnPassiveExpression(PassiveExpression x)(Code) performActionOnPlus public void performActionOnPlus(Plus x)(Code) performActionOnPlusAssignment public void performActionOnPlusAssignment(PlusAssignment x)(Code) performActionOnPositive public void performActionOnPositive(Positive x)(Code) performActionOnPostDecrement public void performActionOnPostDecrement(PostDecrement x)(Code) performActionOnPostIncrement public void performActionOnPostIncrement(PostIncrement x)(Code) performActionOnPreDecrement public void performActionOnPreDecrement(PreDecrement x)(Code) performActionOnPreIncrement public void performActionOnPreIncrement(PreIncrement x)(Code) performActionOnProgramConstant public void performActionOnProgramConstant(ProgramConstant x)(Code) performActionOnProgramElementName public void performActionOnProgramElementName(ProgramElementName x)(Code) performActionOnProgramMetaConstruct public void performActionOnProgramMetaConstruct(ProgramMetaConstruct x)(Code) performActionOnProgramMethod public void performActionOnProgramMethod(ProgramMethod x)(Code) performActionOnProgramSVProxy public void performActionOnProgramSVProxy(ProgramSVProxy x)(Code) performActionOnProgramSVSkolem public void performActionOnProgramSVSkolem(ProgramSVSkolem x)(Code) performActionOnProgramVariable public void performActionOnProgramVariable(ProgramVariable x)(Code) performActionOnReturn public void performActionOnReturn(Return x)(Code) performActionOnSchemaVariable public void performActionOnSchemaVariable(SchemaVariable x)(Code) performActionOnSchematicFieldReference public void performActionOnSchematicFieldReference(SchematicFieldReference x)(Code) performActionOnShiftLeft public void performActionOnShiftLeft(ShiftLeft x)(Code) performActionOnShiftLeftAssignment public void performActionOnShiftLeftAssignment(ShiftLeftAssignment x)(Code) performActionOnShiftRight public void performActionOnShiftRight(ShiftRight x)(Code) performActionOnShiftRightAssignment public void performActionOnShiftRightAssignment(ShiftRightAssignment x)(Code) performActionOnStatementBlock public void performActionOnStatementBlock(StatementBlock x)(Code) performActionOnStringLiteral public void performActionOnStringLiteral(StringLiteral x)(Code) performActionOnSuperArrayDeclaration public void performActionOnSuperArrayDeclaration(SuperArrayDeclaration x)(Code) performActionOnSuperConstructorReference public void performActionOnSuperConstructorReference(SuperConstructorReference x)(Code) performActionOnSuperReference public void performActionOnSuperReference(SuperReference x)(Code) performActionOnSwitch public void performActionOnSwitch(Switch x)(Code) performActionOnSynchronizedBlock public void performActionOnSynchronizedBlock(SynchronizedBlock x)(Code) performActionOnThen public void performActionOnThen(Then x)(Code) performActionOnThisConstructorReference public void performActionOnThisConstructorReference(ThisConstructorReference x)(Code) performActionOnThisReference public void performActionOnThisReference(ThisReference x)(Code) performActionOnThrow public void performActionOnThrow(Throw x)(Code) performActionOnThrows public void performActionOnThrows(Throws x)(Code) performActionOnTimes public void performActionOnTimes(Times x)(Code) performActionOnTimesAssignment public void performActionOnTimesAssignment(TimesAssignment x)(Code) performActionOnTry public void performActionOnTry(Try x)(Code) performActionOnTypeCast public void performActionOnTypeCast(TypeCast x)(Code) performActionOnTypeReference public void performActionOnTypeReference(TypeReference x)(Code) performActionOnUnsignedShiftRight public void performActionOnUnsignedShiftRight(UnsignedShiftRight x)(Code) performActionOnUnsignedShiftRightAssignment public void performActionOnUnsignedShiftRightAssignment(UnsignedShiftRightAssignment x)(Code) performActionOnVariableDeclaration public void performActionOnVariableDeclaration(VariableDeclaration x)(Code) performActionOnVariableReference public void performActionOnVariableReference(VariableReference x)(Code) performActionOnVariableSpecification public void performActionOnVariableSpecification(VariableSpecification x)(Code) performActionOnWhile public void performActionOnWhile(While x)(Code) Methods inherited from java.lang.Object protected Object clone() throws CloneNotSupportedException(Code)(Java Doc) public boolean equals(Object o)(Code)(Java Doc) protected void finalize() throws Throwable(Code)(Java Doc) final native public Class getClass()(Code)(Java Doc) public int hashCode()(Code)(Java Doc) final public void notify() throws IllegalMonitorStateException(Code)(Java Doc) final public void notifyAll() throws IllegalMonitorStateException(Code)(Java Doc) public String toString()(Code)(Java Doc) final public void wait() throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc) final public void wait(long ms) throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc) final public void wait(long ms, int ns) throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc)