net.sf.jlinkgrammar

Class PatchElement

java.lang.Object

net.sf.jlinkgrammar.PatchElement

public class PatchElement
extends java.lang.Object

TODO add javadoc

Field Summary

Fields

Modifier and Type	Field and Description
(package private) boolean	changed
(package private) int	newl
(package private) int	newr
(package private) boolean	used

Constructor Summary

Constructors

Constructor and Description
PatchElement()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

used

boolean used

changed

boolean changed

newl

int newl

newr

int newr

Constructor Detail

PatchElement

public PatchElement()