Class Sort

Method Details

• delete

  public void delete()

  Overrides:

  delete in class ModuleItem

• kind

  public Kind kind()

  Get the kind this sort belongs to.

• getSubsorts

  public SortVector getSubsorts()

  Get the subsorts of this sort.

• getSupersorts

  public SortVector getSupersorts()

  Get the supersorts of this sort.

• leq

  public boolean leq(Sort rhs)

  Check if this sort is a subsort of the given sort.
  
  

  Parameters:

  rhs - The right-hand side of the comparison.

• toString

  public String toString()

  Overrides:

  toString in class Object

• getLineNumber

  public String getLineNumber()

  Get the line number information for this item as formatted by Maude.
  
  The format of the string is usually filename, line line (module)
  where the second line is the integral line number, and module is
  the module type and name where this item was originally defined. The
  filename may be an actual quoted filename or some special name
  between angle brackets.

• hash

  public long hash()

  Get the hash value of the sort.

• equal

  public boolean equal(Sort other)

  Check whether two sort are the same.