- All Implemented Interfaces:
- Serializable
- Enclosing class:
- SL
public static class SL.WrongTypeException
extends Exception
This exception is thrown when trying to get the value of a meta variable
with the wrong type. For example, when trying to get a formula while the
meta variable value is a term.
- See Also:
MatchResult.getFormula(String name)
,
MatchResult.getTerm(String name)
,
MatchResult.getVariable(String name)
,
MatchResult.getSymbol(String name)
,
jade.semantics.lang.sl.tools.MatchResult#getActionExpression(String name)
,
MatchResult.getContentExpression(String name)
,
Serialized Form