harpoon.Tools.PatMat
Class Spec.StmCjump

java.lang.Object
  harpoon.Tools.PatMat.Spec.Stm
      harpoon.Tools.PatMat.Spec.StmCjump

Enclosing class:

Spec

public static class Spec.StmCjump
extends Spec.Stm

Extension of Spec.Stm representing a conditional branch.

See Also:

CJUMP

Field Summary

String	f_label Label to branch to on a False value.
String	t_label Label to branch to on a True value.
Spec.Exp	test Boolean expression that decides which direction we're jumping.

Constructor Summary

Spec.StmCjump(Spec.Exp test, String t_label, String f_label)
Constructs a new Spec.StmCjump.

Method Summary

void	accept(Spec.StmVisitor v) Applies v's visit method to this.
Spec.Stm	build(Spec.ExpList kids) Creates a new Spec.Stm similar to this one, using the provided Spec.ExpList of children.
Spec.ExpList	kids() Creates an Spec.ExpList of children of this Spec.Stm.
String	toString()

Methods inherited from class harpoon.Tools.PatMat.Spec.Stm

canBeRootOfData

Methods inherited from class java.lang.Object

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

Field Detail

test

public final Spec.Exp test

Boolean expression that decides which direction we're jumping.

t_label

public final String t_label

Label to branch to on a True value.

See Also:

Label

f_label

public final String f_label

Label to branch to on a False value.

See Also:

Label

Constructor Detail

Spec.StmCjump

public Spec.StmCjump(Spec.Exp test,
                     String t_label,
                     String f_label)

Constructs a new Spec.StmCjump.

Parameters:

test - Text expression.

t_label - True Label.

f_label - False Label.

Method Detail

accept

public void accept(Spec.StmVisitor v)

Description copied from class: Spec.Stm

Applies v's visit method to this. This is effectively a gludge to emulate multiple dispatch. Must be reimplemented by all subclasses of Spec.Stm.
effects: Calls v.visit(this).

Specified by:

accept in class Spec.Stm

See Also:

"Design Patterns pgs. 331-344"

build

public Spec.Stm build(Spec.ExpList kids)

Description copied from class: Spec.Stm

Creates a new Spec.Stm similar to this one, using the provided Spec.ExpList of children.

Specified by:

build in class Spec.Stm

kids

public Spec.ExpList kids()

Description copied from class: Spec.Stm

Creates an Spec.ExpList of children of this Spec.Stm.

Specified by:

kids in class Spec.Stm

toString

public String toString()

Overrides:

toString in class Object