de.uka.ilkd.key.java

Interface JavaReader

All Known Subinterfaces:

SchemaJavaReader

All Known Implementing Classes:

Recoder2KeY, SchemaRecoder2KeY

public interface JavaReader

Method Summary

Modifier and Type	Method and Description
JavaBlock	readBlockWithEmptyContext(java.lang.String s)
JavaBlock	readBlockWithProgramVariables(Namespace<IProgramVariable> varns, java.lang.String s)

Method Detail

readBlockWithEmptyContext

JavaBlock readBlockWithEmptyContext(java.lang.String s)

readBlockWithProgramVariables

JavaBlock readBlockWithProgramVariables(Namespace<IProgramVariable> varns,
                                        java.lang.String s)