| de.uka.ilkd.key.rule.metaconstruct.MetaField de.uka.ilkd.key.rule.metaconstruct.MetaTransactionCounter
MetaTransactionCounter | public class MetaTransactionCounter extends MetaField implements Location(Code) | | returns a term representing the static field
"de.uka.ilkd.key.javacard.KeYJCSystem."
|
MetaTransactionCounter | public MetaTransactionCounter()(Code) | | |
validTopLevel | public boolean validTopLevel(Term term)(Code) | | checks whether the top level structure of the given @link Term
is syntactically valid, given the assumption that the top level
operator of the term is the same as this Operator. The
assumption that the top level operator and the term are equal
is NOT checked.
true iff the top level structure ofthe @link Term is valid. |
|
|