All Implemented Interfaces:

gnu.kawa.format.Printable, Named

public class Operator
extends Syntax 

• Field Summary

  Fields

  Modifier and Type	Field and Description
  static Operator	ASSIGN
  static Operator	EQ
  static Operator	FENCE
  static Operator	GE
  static Operator	GT
  static Operator	IF_THEN
  static Operator	LE
  static Operator	LT
  static Operator	MINUS
  static Operator	PLUS
  static Operator	SEMI
  static Operator	SLASH
  static Operator	STAR
  static Operator	UNIFY

• Constructor Summary

  Constructors

  Constructor and Description
  Operator (java.lang.String name, int lprio, int rprio, int flags, java.lang.Object function)

• Method Summary

  All Methods

  Modifier and Type	Method and Description
  java.lang.Object	combine (java.lang.Object largs, java.lang.Object rargs, PairWithPosition op)
  java.lang.String	toString ()

  • Methods inherited from class kawa.lang.Syntax

    getName, getSymbol, print, rewrite, rewriteForm, scanForDefinitions, scanForm, setName, setName

  • Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

• Field Detail

  • FENCE

    public static final Operator FENCE

  • SEMI

    public static final Operator SEMI

  • PLUS

    public static final Operator PLUS

  • MINUS

    public static final Operator MINUS

  • STAR

    public static final Operator STAR

  • SLASH

    public static final Operator SLASH

  • LT

    public static final Operator LT

  • GT

    public static final Operator GT

  • LE

    public static final Operator LE

  • GE

    public static final Operator GE

  • EQ

    public static final Operator EQ

  • ASSIGN

    public static final Operator ASSIGN

  • UNIFY

    public static final Operator UNIFY

  • IF_THEN

    public static final Operator IF_THEN

• Constructor Detail

  • Operator

    public Operator(java.lang.String name,
     int lprio,
     int rprio,
     int flags,
     java.lang.Object function)

• Method Detail

  • combine

    public java.lang.Object combine(java.lang.Object largs,
     java.lang.Object rargs,
     PairWithPosition op)

  • toString

    public java.lang.String toString()

    Overrides:

    toString in class java.lang.Object