gnu.q2.lang

Class Operator

java.lang.Object

kawa.lang.Syntax

gnu.q2.lang.Operator

All Implemented Interfaces:

gnu.kawa.format.Printable, Named

public class Operator
extends Syntax

A syntactic operator, with precedence, like for example '+'.

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

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