de.uka.ilkd.key.java.recoderext

Class JumpLabelSVWrapper

java.lang.Object

de.uka.ilkd.key.java.recoderext.JumpLabelSVWrapper

All Implemented Interfaces:

SVWrapper

public class JumpLabelSVWrapper
extends java.lang.Object
implements SVWrapper

Field Summary

Fields

Modifier and Type	Field and Description
private SchemaVariable	label

Constructor Summary

Constructors

Constructor and Description
JumpLabelSVWrapper(SchemaVariable l)

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
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

label

private SchemaVariable label

Constructor Detail

JumpLabelSVWrapper

public JumpLabelSVWrapper(SchemaVariable l)

Method Detail

getSV

public SchemaVariable getSV()

Description copied from interface: SVWrapper

returns a String name of this meta construct.

Specified by:

getSV in interface SVWrapper

setSV

public void setSV(SchemaVariable sv)

Description copied from interface: SVWrapper

sets the schema variable of sort statement

Specified by:

setSV in interface SVWrapper

Parameters:

sv - the SchemaVariable to wrap

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object