generation.sentence
Class Branch

java.lang.Object
  generation.sentence.Branch

public class Branch
extends java.lang.Object

Branch or occurrence used in context-dependent rule coverage.

Author:

XZW

Field Summary

int	pos Position at the right hand side of production
int	preProd Previous production index
int	pv Next production index or variable index

Constructor Summary

Branch()
Creates an instance of branch.

Branch(int preProd, int pv, int pos)
Creates an instance of branch

Method Summary

boolean	equals(java.lang.Object obj)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

preProd

public int preProd

Previous production index

pv

public int pv

Next production index or variable index

pos

public int pos

Position at the right hand side of production

Constructor Detail

Branch

public Branch()

Creates an instance of branch.

Branch

public Branch(int preProd,
              int pv,
              int pos)

Creates an instance of branch

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object