de.uka.ilkd.key.java

Interface SchemaJavaReader

All Superinterfaces:

JavaReader

All Known Implementing Classes:

SchemaRecoder2KeY

public interface SchemaJavaReader
extends JavaReader

Method Summary

Modifier and Type	Method and Description
void	setSVNamespace(Namespace<SchemaVariable> ns)

Methods inherited from interface de.uka.ilkd.key.java.JavaReader

readBlockWithEmptyContext, readBlockWithProgramVariables

Method Detail

setSVNamespace

void setSVNamespace(Namespace<SchemaVariable> ns)