de.uka.ilkd.key.java.recoderext

Interface SVWrapper

All Known Implementing Classes:

CatchSVWrapper, ExecCtxtSVWrapper, ExpressionSVWrapper, JumpLabelSVWrapper, LabelSVWrapper, MethodSignatureSVWrapper, ProgramVariableSVWrapper, StatementSVWrapper, TypeSVWrapper

public interface SVWrapper

Method Summary

Modifier and Type	Method and Description
SchemaVariable	getSV() returns a String name of this meta construct.
void	setSV(SchemaVariable sv) sets the schema variable of sort statement

Method Detail

setSV

void setSV(SchemaVariable sv)

sets the schema variable of sort statement

Parameters:

sv - the SchemaVariable to wrap

getSV

SchemaVariable getSV()

returns a String name of this meta construct.