envgen.spec
Class RENode

java.lang.Object
  |
  +--envgen.spec.SpecNode
        |
        +--envgen.spec.RENode

public class RENode

extends SpecNode

Data structure to hold a regular expression.

Field Summary

(package private) char	kind Kinds of nodes: '|' - choice, 'S' - sequence, '^ num' - times, '^ {num0, num1}' - range , '*' - Kleene Closure - zero or more, '+' - one or more, '?' - zero or one, 'P' - proposition.
(package private) java.util.Vector	operands Operands for choice and sequence.
(package private) int	val1 End of range value.

Fields inherited from class envgen.spec.SpecNode

proposition, val

Constructor Summary

RENode(char k, int v0, int v1, java.util.Vector op)

RENode(char k, int v, java.util.Vector op)

Method Summary

void	addOperand(RENode spec)
boolean	equals(java.lang.Object node)
char	getKind()
java.util.Vector	getOperands()
int	getSecondVal()
int	getVal() Returns the index of the proposition in the universe of propositions.
void	orCombine()
void	seqCombine()
void	setSecondVal(int i)
void	setVal(int i)
java.lang.String	toString()

Methods inherited from class envgen.spec.SpecNode

getProposition, setProposition

Methods inherited from class java.lang.Object

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

Field Detail

kind

char kind

Kinds of nodes: '|' - choice, 'S' - sequence, '^ num' - times, '^ {num0, num1}' - range , '*' - Kleene Closure - zero or more, '+' - one or more, '?' - zero or one, 'P' - proposition.

val1

int val1

End of range value.

operands

java.util.Vector operands

Operands for choice and sequence.

Constructor Detail

RENode

public RENode(char k,
              int v,
              java.util.Vector op)

RENode

public RENode(char k,
              int v0,
              int v1,
              java.util.Vector op)

Method Detail

orCombine

public void orCombine()

seqCombine

public void seqCombine()

getKind

public char getKind()

getVal

public int getVal()

Description copied from class: SpecNode

Returns the index of the proposition in the universe of propositions.

Overrides:

getVal in class SpecNode

setVal

public void setVal(int i)

getSecondVal

public int getSecondVal()

setSecondVal

public void setSecondVal(int i)

getOperands

public java.util.Vector getOperands()

addOperand

public void addOperand(RENode spec)

equals

public boolean equals(java.lang.Object node)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object