public class NewVarcond
extends java.lang.Object
Constructor and Description |
---|
NewVarcond(SchemaVariable sv,
KeYJavaType type) |
NewVarcond(SchemaVariable sv,
SchemaVariable peerSV) |
Modifier and Type | Method and Description |
---|---|
SchemaVariable |
getPeerSchemaVariable() |
SchemaVariable |
getSchemaVariable() |
KeYJavaType |
getType() |
java.lang.Object |
getTypeDefiningObject() |
boolean |
isDefinedByType() |
java.lang.String |
toString() |
public NewVarcond(SchemaVariable sv, SchemaVariable peerSV)
public NewVarcond(SchemaVariable sv, KeYJavaType type)
public boolean isDefinedByType()
public SchemaVariable getSchemaVariable()
public SchemaVariable getPeerSchemaVariable()
public KeYJavaType getType()
public java.lang.Object getTypeDefiningObject()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.