|
| |
|
| java.lang.Object
 de.uka.ilkd.key.logic.sort.AbstractSort
de.uka.ilkd.key.logic.sort.AbstractNonCollectionSort
de.uka.ilkd.key.logic.sort.PrimitiveSort
de.uka.ilkd.key.logic.sort.GenSort
| GenSort | | public class GenSort extends de.uka.ilkd.key.logic.sort.PrimitiveSort (Code) | | GenSort extends the class Sort with features
needed for the counterexample package. A vector of constructors is
added and a couple of functions to add, return and print
the constructors. At the moment there is no equality for generated sorts.
To get a useful GenSort object you initialize it via
new GenSort(name) and then add the constructors with
addConstructor(...)
author:
Sonja Pieper
version:
0.1, 07/08/01 |
| Constructor Summary | |
| public | GenSort(Name name)
creates a new GenSort with a Name and no constructors. |
| GenSort | | public GenSort(Name name)(Code) | | creates a new GenSort with a Name and no constructors.
Parameters:
name - the name of the new sort |
| addConstructor | | public void addConstructor(Name name, ArrayOfGenSort aos)(Code) | | With this method you can add a constructor to any GenSort.
This is where the actual constructor objects are generated.
Parameters:
name - the name of the new constructor
Parameters:
aos - the sorts of the parameters |
| getConstructors | | public Vector getConstructors()(Code) | | This function comes in useful if you need to do something with
the constructors of the sort you are working on.
The constructors of the generated sort as a vector. |
| toString | | public String toString()(Code) | | Prints the sort together with its constructors.
The toString() functions is inherited from sort,
so if you want to printout the sort with its
constructors (for whatever reason) use this function.
something like "sortname genby { con1 con2 }" |
| Fields inherited from de.uka.ilkd.key.logic.sort.PrimitiveSort | SetOfSort ext(Code)(Java Doc)
|
|
|
|