| java.lang.Object
 de.uka.ilkd.key.logic.util.TermHelper
| TermHelper | | public class TermHelper (Code) | | Provides some helper methods used by classes outside the logic package
Please be careful with putting things here. This class has been mainly created
to give getMaxSort a home which is scheduled to become obsolete soon
(see method comment)
|
| Method Summary | |
| public static Sort | getMaxSort(Term term, int i, Services services)
helper function to determine the maximal sort the term
tSub may have as i sub term
This method will become obsolete in the near future as all operators
will become a fixed signature. |
| getMaxSort | | public static Sort getMaxSort(Term term, int i, Services services)(Code) | | helper function to determine the maximal sort the term
tSub may have as i sub term
This method will become obsolete in the near future as all operators
will become a fixed signature. But currently there ar eto many chnages
pending (new sort hierarchy for integers, new pos) that much of the work would be
for made new. That is the reason for this HACK
Parameters:
term - the Term of which a part of the i-th sub term may be replaced
Parameters:
i - an int giving the position of sub term of which a part is to be replaced
Parameters:
services - the Services object the maximal sort allowed at the i-th position |
|
|