ISort.IErrorDefinition

All Superinterfaces:: INode, IPos.IPosable, ISort.IDefinition

All Known Implementing Classes:: Sort.ErrorDefinition

Enclosing interface:: ISort

public static interface ISort.IErrorDefinition extends ISort.IDefinition

Represents an erroneous sort definition; by having an actual IDefinition, redundant cascading errors are suppressed.

Method Summary

Modifier and Type

Method

Description

String

errorMessage()

The error message describing why the definition is ill-formed

IPos

errorPos()

The source position of the error

Methods inherited from interface org.smtlib.INode
accept

Methods inherited from interface org.smtlib.IPos.IPosable
pos, setPos

Methods inherited from interface org.smtlib.ISort.IDefinition
eval, identifier, intArity

Method Details
- errorMessage
  
  String errorMessage()
  
  The error message describing why the definition is ill-formed
- errorPos
  
  IPos errorPos()
  
  The source position of the error