Java Doc for SchemaRecoder2KeY.java in  » Testing » KeY » de » uka » ilkd » key » java » 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.java   Source Cross Reference   Class Diagram   Java Document (Java Doc)   java.lang.Object    de.uka.ilkd.key.java.Recoder2KeY       de.uka.ilkd.key.java.SchemaRecoder2KeY SchemaRecoder2KeY public class SchemaRecoder2KeY extends Recoder2KeY implements SchemaJavaReader(Code) Field Summary protected  Namespace svns      public static  KeYJavaType typeSVType      Constructor Summary public   SchemaRecoder2KeY(Services services, NamespaceSet nss)      Method Summary public  ProgramMetaConstruct convert(de.uka.ilkd.key.java.recoderext.RKeYMetaConstruct mc)      public  ProgramMetaConstruct convert(de.uka.ilkd.key.java.recoderext.RKeYMetaConstructExpression mc)      public  ProgramMetaConstruct convert(de.uka.ilkd.key.java.recoderext.RKeYMetaConstructType mc)      public  MethodFrame convert(de.uka.ilkd.key.java.recoderext.RMethodCallStatement l)      public  MethodBodyStatement convert(de.uka.ilkd.key.java.recoderext.RMethodBodyStatement l)      public  ContextStatementBlock convert(de.uka.ilkd.key.java.recoderext.ContextStatementBlock csb)      public  SchemaVariable convert(de.uka.ilkd.key.java.recoderext.ExpressionSVWrapper svw)      public  SchemaVariable convert(de.uka.ilkd.key.java.recoderext.StatementSVWrapper svw)      public  ThisReference convert(recoder.java.reference.ThisReference tr)      public  SuperReference convert(recoder.java.reference.SuperReference sr)      public  SchemaVariable convert(de.uka.ilkd.key.java.recoderext.LabelSVWrapper svw)      public  SchemaVariable convert(de.uka.ilkd.key.java.recoderext.TypeSVWrapper svw)      public  SchemaVariable convert(de.uka.ilkd.key.java.recoderext.ExecCtxtSVWrapper svw)      public  ExecutionContext convert(de.uka.ilkd.key.java.recoderext.ExecutionContext ec)      public  SchemaVariable convert(de.uka.ilkd.key.java.recoderext.CatchSVWrapper svw)      public  SchemaVariable convert(de.uka.ilkd.key.java.recoderext.ProgramVariableSVWrapper svw)      public  For convert(recoder.java.statement.For f)      converts a For. public  LocalVariableDeclaration convert(recoder.java.declaration.LocalVariableDeclaration lvd)      public  TypeReference convert(recoder.java.reference.TypeReference tr)      public  VariableSpecification convert(recoder.java.declaration.VariableSpecification recoderVarspec)      public  Expression convert(recoder.java.reference.FieldReference fr)      public  MethodReference convert(recoder.java.reference.MethodReference mr)      protected  VariableSpecification convertVarSpecWithSVType(recoder.java.declaration.VariableSpecification recoderVarspec)      public  Context createEmptyContext()      protected  recoder.java.CompilationUnit embedClass(recoder.java.declaration.ClassDeclaration classDecl, Context context)      protected  HashMap getKeYClassConstructorCache()      returns the hashmap of a concrete RecodeR class to the constructor of its corresponding KeY class. protected  HashMap getMethodCache()      public  void parseSpecialClasses()      protected  recoder.java.StatementBlock recoderBlock(String block, Context context)      parses a given JavaBlock using the context to determine the right references and returns a statement block of recoder. public  void setSVNamespace(Namespace svns)      Field Detail svns protected Namespace svns(Code) the namespace containing the program schema variables allowed here typeSVType public static KeYJavaType typeSVType(Code) Constructor Detail SchemaRecoder2KeY public SchemaRecoder2KeY(Services services, NamespaceSet nss)(Code) Method Detail convert public ProgramMetaConstruct convert(de.uka.ilkd.key.java.recoderext.RKeYMetaConstruct mc)(Code) convert public ProgramMetaConstruct convert(de.uka.ilkd.key.java.recoderext.RKeYMetaConstructExpression mc)(Code) convert public ProgramMetaConstruct convert(de.uka.ilkd.key.java.recoderext.RKeYMetaConstructType mc)(Code) convert public MethodFrame convert(de.uka.ilkd.key.java.recoderext.RMethodCallStatement l)(Code) convert public MethodBodyStatement convert(de.uka.ilkd.key.java.recoderext.RMethodBodyStatement l)(Code) convert public ContextStatementBlock convert(de.uka.ilkd.key.java.recoderext.ContextStatementBlock csb)(Code) convert public SchemaVariable convert(de.uka.ilkd.key.java.recoderext.ExpressionSVWrapper svw)(Code) convert public SchemaVariable convert(de.uka.ilkd.key.java.recoderext.StatementSVWrapper svw)(Code) convert public ThisReference convert(recoder.java.reference.ThisReference tr)(Code) convert public SuperReference convert(recoder.java.reference.SuperReference sr)(Code) convert public SchemaVariable convert(de.uka.ilkd.key.java.recoderext.LabelSVWrapper svw)(Code) convert public SchemaVariable convert(de.uka.ilkd.key.java.recoderext.TypeSVWrapper svw)(Code) convert public SchemaVariable convert(de.uka.ilkd.key.java.recoderext.ExecCtxtSVWrapper svw)(Code) convert public ExecutionContext convert(de.uka.ilkd.key.java.recoderext.ExecutionContext ec)(Code) convert public SchemaVariable convert(de.uka.ilkd.key.java.recoderext.CatchSVWrapper svw)(Code) convert public SchemaVariable convert(de.uka.ilkd.key.java.recoderext.ProgramVariableSVWrapper svw)(Code) convert public For convert(recoder.java.statement.For f)(Code) converts a For. Parameters:   f - the For of recoder the For of KeY convert public LocalVariableDeclaration convert(recoder.java.declaration.LocalVariableDeclaration lvd)(Code) convert public TypeReference convert(recoder.java.reference.TypeReference tr)(Code) convert a recoder TypeReference to a KeY TypeReference (checks dimension and hands it over) convert public VariableSpecification convert(recoder.java.declaration.VariableSpecification recoderVarspec)(Code) convert a recoder VariableSpecification to a KeY VariableSpecification (checks dimension and hands it over and insert in hashmap) convert public Expression convert(recoder.java.reference.FieldReference fr)(Code) convert public MethodReference convert(recoder.java.reference.MethodReference mr)(Code) convertVarSpecWithSVType protected VariableSpecification convertVarSpecWithSVType(recoder.java.declaration.VariableSpecification recoderVarspec)(Code) createEmptyContext public Context createEmptyContext()(Code) creates an empty RECODER compilation unit the recoder.java.CompilationUnit embedClass protected recoder.java.CompilationUnit embedClass(recoder.java.declaration.ClassDeclaration classDecl, Context context)(Code) wraps a RECODER ClassDeclaration in a compilation unit Parameters:   classDecl - the recoder.java.ClassDeclaration to wrap Parameters:   cUnit - the recoder.java.CompilationUnit where the class is wrapped the enclosing recoder.java.CompilationUnit getKeYClassConstructorCache protected HashMap getKeYClassConstructorCache()(Code) returns the hashmap of a concrete RecodeR class to the constructor of its corresponding KeY class. Speeds up reflection. Attention must be overwritten by subclasses! getMethodCache protected HashMap getMethodCache()(Code) parseSpecialClasses public void parseSpecialClasses()(Code) recoderBlock protected recoder.java.StatementBlock recoderBlock(String block, Context context)(Code) parses a given JavaBlock using the context to determine the right references and returns a statement block of recoder. Parameters:   block - a String describing a java block Parameters:   context - recoder.java.CompilationUnit in which the block has to be interpreted the parsed and resolved recoder statement block setSVNamespace public void setSVNamespace(Namespace svns)(Code) Fields inherited from de.uka.ilkd.key.java.Recoder2KeY protected HashMap fieldSpecificationMapping(Code)(Java Doc) String fileName(Code)(Java Doc) static String javaSrcDir(Code)(Java Doc) static Logger logger(Code)(Java Doc) protected HashMap methodsDeclaring(Code)(Java Doc) protected KeYRecoderMapping rec2key(Code)(Java Doc) protected KeYCrossReferenceServiceConfiguration servConf(Code)(Java Doc) protected Services services(Code)(Java Doc) protected HashMap type2KeYType(Code)(Java Doc) protected TypeConverter typeConverter(Code)(Java Doc) Methods inherited from de.uka.ilkd.key.java.Recoder2KeY public void addProgramVariablesToClassContext(recoder.java.declaration.ClassDeclaration classContext, ListOfProgramVariable vars, recoder.service.CrossReferenceSourceInfo csi)(Code)(Java Doc) protected Object callConvert(recoder.java.ProgramElement pe)(Code)(Java Doc) protected ExtList collectChildren(recoder.java.NonTerminalProgramElement pe)(Code)(Java Doc) protected ExtList collectComments(recoder.java.ProgramElement pe)(Code)(Java Doc) public ProgramElement convert(recoder.java.JavaProgramElement pe)(Code)(Java Doc) public Instanceof convert(recoder.java.expression.operator.Instanceof rio)(Code)(Java Doc) public PassiveExpression convert(de.uka.ilkd.key.java.recoderext.PassiveExpression pass)(Code)(Java Doc) public ParenthesizedExpression convert(recoder.java.expression.ParenthesizedExpression x)(Code)(Java Doc) public Comment convert(recoder.java.Comment rc)(Code)(Java Doc) public NewArray convert(recoder.java.expression.operator.NewArray newArr)(Code)(Java Doc) public CopyAssignment convert(recoder.java.expression.operator.CopyAssignment ass)(Code)(Java Doc) public PostIncrement convert(recoder.java.expression.operator.PostIncrement postInc)(Code)(Java Doc) public PreIncrement convert(recoder.java.expression.operator.PreIncrement preInc)(Code)(Java Doc) public PostDecrement convert(recoder.java.expression.operator.PostDecrement postDec)(Code)(Java Doc) public PreDecrement convert(recoder.java.expression.operator.PreDecrement preDec)(Code)(Java Doc) public Minus convert(recoder.java.expression.operator.Minus minus)(Code)(Java Doc) public Plus convert(recoder.java.expression.operator.Plus plus)(Code)(Java Doc) public Times convert(recoder.java.expression.operator.Times times)(Code)(Java Doc) public Divide convert(recoder.java.expression.operator.Divide div)(Code)(Java Doc) public PlusAssignment convert(recoder.java.expression.operator.PlusAssignment plus)(Code)(Java Doc) public MinusAssignment convert(recoder.java.expression.operator.MinusAssignment minus)(Code)(Java Doc) public TimesAssignment convert(recoder.java.expression.operator.TimesAssignment times)(Code)(Java Doc) public DivideAssignment convert(recoder.java.expression.operator.DivideAssignment div)(Code)(Java Doc) public LessThan convert(recoder.java.expression.operator.LessThan op)(Code)(Java Doc) public LessOrEquals convert(recoder.java.expression.operator.LessOrEquals op)(Code)(Java Doc) public GreaterThan convert(recoder.java.expression.operator.GreaterThan op)(Code)(Java Doc) public GreaterOrEquals convert(recoder.java.expression.operator.GreaterOrEquals op)(Code)(Java Doc) public Equals convert(recoder.java.expression.operator.Equals op)(Code)(Java Doc) public NotEquals convert(recoder.java.expression.operator.NotEquals op)(Code)(Java Doc) public LogicalNot convert(recoder.java.expression.operator.LogicalNot op)(Code)(Java Doc) public LogicalAnd convert(recoder.java.expression.operator.LogicalAnd op)(Code)(Java Doc) public LogicalOr convert(recoder.java.expression.operator.LogicalOr op)(Code)(Java Doc) public ArrayInitializer convert(recoder.java.expression.ArrayInitializer ai)(Code)(Java Doc) public IntLiteral convert(recoder.java.expression.literal.IntLiteral intLit)(Code)(Java Doc) public BooleanLiteral convert(recoder.java.expression.literal.BooleanLiteral booleanLit)(Code)(Java Doc) public StringLiteral convert(recoder.java.expression.literal.StringLiteral stringLit)(Code)(Java Doc) public DoubleLiteral convert(recoder.java.expression.literal.DoubleLiteral doubleLit)(Code)(Java Doc) public FloatLiteral convert(recoder.java.expression.literal.FloatLiteral floatLit)(Code)(Java Doc) public LongLiteral convert(recoder.java.expression.literal.LongLiteral longLit)(Code)(Java Doc) public CharLiteral convert(recoder.java.expression.literal.CharLiteral charLit)(Code)(Java Doc) public NullLiteral convert(recoder.java.expression.literal.NullLiteral nullLit)(Code)(Java Doc) public EmptyStatement convert(recoder.java.statement.EmptyStatement eStmnt)(Code)(Java Doc) public Throw convert(recoder.java.statement.Throw stmntThrow)(Code)(Java Doc) public If convert(recoder.java.statement.If stmntIf)(Code)(Java Doc) public Then convert(recoder.java.statement.Then stmntThen)(Code)(Java Doc) public Else convert(recoder.java.statement.Else stmntElse)(Code)(Java Doc) public ProgramElementName convert(recoder.java.Identifier id)(Code)(Java Doc) public ProgramElementName convert(ImplicitIdentifier id)(Code)(Java Doc) public StatementBlock convert(recoder.java.StatementBlock block)(Code)(Java Doc) public SynchronizedBlock convert(recoder.java.statement.SynchronizedBlock block)(Code)(Java Doc) public Return convert(recoder.java.statement.Return stmntReturn)(Code)(Java Doc) public Try convert(recoder.java.statement.Try stmntTry)(Code)(Java Doc) public Catch convert(recoder.java.statement.Catch stmntCatch)(Code)(Java Doc) public Finally convert(recoder.java.statement.Finally stmntFinally)(Code)(Java Doc) public MethodFrame convert(de.uka.ilkd.key.java.recoderext.MethodCallStatement rmcs)(Code)(Java Doc) public MethodBodyStatement convert(de.uka.ilkd.key.java.recoderext.MethodBodyStatement rmbs)(Code)(Java Doc) public CatchAllStatement convert(de.uka.ilkd.key.java.recoderext.CatchAllStatement cas)(Code)(Java Doc) public Public convert(recoder.java.declaration.modifier.Public m)(Code)(Java Doc) public Protected convert(recoder.java.declaration.modifier.Protected m)(Code)(Java Doc) public Private convert(recoder.java.declaration.modifier.Private m)(Code)(Java Doc) public Static convert(recoder.java.declaration.modifier.Static m)(Code)(Java Doc) public Abstract convert(recoder.java.declaration.modifier.Abstract m)(Code)(Java Doc) public Final convert(recoder.java.declaration.modifier.Final m)(Code)(Java Doc) public Native convert(recoder.java.declaration.modifier.Native m)(Code)(Java Doc) public Transient convert(recoder.java.declaration.modifier.Transient m)(Code)(Java Doc) public Synchronized convert(recoder.java.declaration.modifier.Synchronized m)(Code)(Java Doc) public CompilationUnit convert(recoder.java.CompilationUnit cu)(Code)(Java Doc) public ClassInitializer convert(recoder.java.declaration.ClassInitializer ci)(Code)(Java Doc) public PackageSpecification convert(recoder.java.PackageSpecification ps)(Code)(Java Doc) public Throws convert(recoder.java.declaration.Throws t)(Code)(Java Doc) public Extends convert(recoder.java.declaration.Extends e)(Code)(Java Doc) public Implements convert(recoder.java.declaration.Implements e)(Code)(Java Doc) public ClassDeclaration convert(recoder.java.declaration.ClassDeclaration td)(Code)(Java Doc) public InterfaceDeclaration convert(recoder.java.declaration.InterfaceDeclaration td)(Code)(Java Doc) public LocalVariableDeclaration convert(recoder.java.declaration.LocalVariableDeclaration lvd)(Code)(Java Doc) public ParameterDeclaration convert(recoder.java.declaration.ParameterDeclaration pd)(Code)(Java Doc) public FieldDeclaration convert(recoder.java.declaration.FieldDeclaration fd)(Code)(Java Doc) public ProgramMethod convert(recoder.java.declaration.ConstructorDeclaration cd)(Code)(Java Doc) public ProgramMethod convert(recoder.abstraction.DefaultConstructor dc)(Code)(Java Doc) public TypeCast convert(recoder.java.expression.operator.TypeCast c)(Code)(Java Doc) public ExecutionContext convert(de.uka.ilkd.key.java.recoderext.ExecutionContext ec)(Code)(Java Doc) public ThisConstructorReference convert(recoder.java.reference.ThisConstructorReference tcr)(Code)(Java Doc) public SuperConstructorReference convert(recoder.java.reference.SuperConstructorReference scr)(Code)(Java Doc) public ThisReference convert(recoder.java.reference.ThisReference tr)(Code)(Java Doc) public SuperReference convert(recoder.java.reference.SuperReference sr)(Code)(Java Doc) public VariableSpecification convert(recoder.java.declaration.VariableSpecification recoderVarSpec)(Code)(Java Doc) public ProgramMethod convert(recoder.java.declaration.MethodDeclaration md)(Code)(Java Doc) public FieldSpecification convert(recoder.java.declaration.FieldSpecification recoderVarSpec)(Code)(Java Doc) public TypeReference convert(recoder.java.reference.TypeReference tr)(Code)(Java Doc) public ProgramElement convert(recoder.java.reference.UncollatedReferenceQualifier urq)(Code)(Java Doc) public ProgramVariable convert(recoder.java.reference.VariableReference vr)(Code)(Java Doc) public BinaryAnd convert(recoder.java.expression.operator.BinaryAnd b)(Code)(Java Doc) public BinaryOr convert(recoder.java.expression.operator.BinaryOr b)(Code)(Java Doc) public BinaryXOr convert(recoder.java.expression.operator.BinaryXOr b)(Code)(Java Doc) public BinaryNot convert(recoder.java.expression.operator.BinaryNot b)(Code)(Java Doc) public BinaryAndAssignment convert(recoder.java.expression.operator.BinaryAndAssignment b)(Code)(Java Doc) public BinaryOrAssignment convert(recoder.java.expression.operator.BinaryOrAssignment b)(Code)(Java Doc) public BinaryXOrAssignment convert(recoder.java.expression.operator.BinaryXOrAssignment b)(Code)(Java Doc) public ShiftLeft convert(recoder.java.expression.operator.ShiftLeft b)(Code)(Java Doc) public ShiftRight convert(recoder.java.expression.operator.ShiftRight b)(Code)(Java Doc) public UnsignedShiftRight convert(recoder.java.expression.operator.UnsignedShiftRight b)(Code)(Java Doc) public ShiftLeftAssignment convert(recoder.java.expression.operator.ShiftLeftAssignment b)(Code)(Java Doc) public ShiftRightAssignment convert(recoder.java.expression.operator.ShiftRightAssignment b)(Code)(Java Doc) public UnsignedShiftRightAssignment convert(recoder.java.expression.operator.UnsignedShiftRightAssignment b)(Code)(Java Doc) public Negative convert(recoder.java.expression.operator.Negative b)(Code)(Java Doc) public Positive convert(recoder.java.expression.operator.Positive b)(Code)(Java Doc) public Modulo convert(recoder.java.expression.operator.Modulo b)(Code)(Java Doc) public ModuloAssignment convert(recoder.java.expression.operator.ModuloAssignment b)(Code)(Java Doc) public Conditional convert(recoder.java.expression.operator.Conditional b)(Code)(Java Doc) public FieldReference convert(recoder.java.reference.ArrayLengthReference alr)(Code)(Java Doc) public PackageReference convert(recoder.java.reference.PackageReference pr)(Code)(Java Doc) public Expression convert(recoder.java.reference.FieldReference fr)(Code)(Java Doc) public MethodReference convert(recoder.java.reference.MethodReference mr)(Code)(Java Doc) public LabeledStatement convert(recoder.java.statement.LabeledStatement l)(Code)(Java Doc) public For convert(recoder.java.statement.For f)(Code)(Java Doc) public While convert(recoder.java.statement.While w)(Code)(Java Doc) public Do convert(recoder.java.statement.Do d)(Code)(Java Doc) public ArrayReference convert(recoder.java.reference.ArrayReference ar)(Code)(Java Doc) public Break convert(recoder.java.statement.Break b)(Code)(Java Doc) public Assert convert(recoder.java.statement.Assert a)(Code)(Java Doc) public Case convert(recoder.java.statement.Case c)(Code)(Java Doc) public New convert(recoder.java.expression.operator.New n)(Code)(Java Doc) public Import convert(recoder.java.Import im)(Code)(Java Doc) protected Statement convertBody(recoder.java.statement.LoopStatement ls)(Code)(Java Doc) protected Guard convertGuard(recoder.java.statement.LoopStatement ls)(Code)(Java Doc) protected LoopInit convertLoopInitializers(recoder.java.statement.LoopStatement ls)(Code)(Java Doc) protected ForUpdates convertUpdates(recoder.java.statement.LoopStatement ls)(Code)(Java Doc) public ArrayDeclaration createArrayType(KeYJavaType baseType, KeYJavaType arrayType)(Code)(Java Doc) public Context createContext(ListOfProgramVariable pvs)(Code)(Java Doc) public Context createContext(ListOfProgramVariable vars, recoder.service.CrossReferenceSourceInfo csi)(Code)(Java Doc) public Context createEmptyContext()(Code)(Java Doc) protected recoder.java.declaration.MethodDeclaration embedBlock(recoder.java.StatementBlock block)(Code)(Java Doc) protected recoder.java.declaration.ClassDeclaration embedMethod(recoder.java.declaration.MethodDeclaration mdecl, Context context)(Code)(Java Doc) protected int[] extractPositionInfo(String errorMessage)(Code)(Java Doc) protected ListOfField filterField(FieldDeclaration field)(Code)(Java Doc) protected ProgramVariable find(String name, ListOfField fields)(Code)(Java Doc) protected Class getKeYClass(Class recoderClass)(Code)(Java Doc) protected Constructor getKeYClassConstructor(Class recoderClass)(Code)(Java Doc) protected HashMap getKeYClassConstructorCache()(Code)(Java Doc) protected String getKeYName(Class recoderClass)(Code)(Java Doc) protected HashMap getMethodCache()(Code)(Java Doc) protected ProgramVariable getProgramVariableForFieldSpecification(recoder.java.declaration.FieldSpecification recoderVarSpec)(Code)(Java Doc) protected recoder.java.declaration.VariableSpecification getRecoderVarSpec(recoder.java.reference.VariableReference vr)(Code)(Java Doc) public KeYCrossReferenceServiceConfiguration getServiceConfiguration()(Code)(Java Doc) protected void insertToMap(recoder.ModelElement r, ModelElement k)(Code)(Java Doc) public void parseSpecialClasses()(Code)(Java Doc) protected PositionInfo positionInfo(recoder.java.SourceElement se)(Code)(Java Doc) public JavaBlock readBlock(String block, Context context)(Code)(Java Doc) public JavaBlock readBlockWithEmptyContext(String block)(Code)(Java Doc) public JavaBlock readBlockWithProgramVariables(Namespace varns, String s)(Code)(Java Doc) public CompilationUnit readCompilationUnit(String cUnitString)(Code)(Java Doc) public CompilationUnit[] readCompilationUnitsAsFiles(String[] cUnitStrings)(Code)(Java Doc) public KeYRecoderMapping rec2key()(Code)(Java Doc) protected recoder.java.StatementBlock recoderBlock(String block, Context context)(Code)(Java Doc) protected recoder.list.CompilationUnitMutableList recoderCompilationUnits(String[] cUnitStrings)(Code)(Java Doc) protected recoder.list.CompilationUnitMutableList recoderCompilationUnitsAsFiles(String[] cUnitStrings)(Code)(Java Doc) protected void reportError(String message, Throwable e)(Code)(Java Doc) protected void setUpSort(Sort s)(Code)(Java Doc) protected void transformModel(recoder.list.CompilationUnitMutableList cUnits)(Code)(Java Doc) 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)