- java.lang.Object
-
- de.uka.ilkd.key.macros.scripts.SchemaVarCommand.Parameters
-
-
Field Summary
Fields
Modifier and Type |
Field and Description |
java.lang.String |
type |
java.lang.String |
var |
-
Constructor Summary
Constructors
Constructor and Description |
Parameters() |
-
Method Summary
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
-
Constructor Detail
-
Parameters
public Parameters()
Copyright © 2003-2019 The KeY-Project.