org.jmlspecs.jml4.compiler.parser
Class JmlIdentifier

java.lang.Object
  org.jmlspecs.jml4.compiler.parser.JmlIdentifier

public class JmlIdentifier
extends java.lang.Object

This is a helper class for the Parser. Instances of this class are meant to hold JML keyword identifiers ...

Constructor Summary

JmlIdentifier(char[] token, boolean hasRedundantSuffix, int id, long pos)

Method Summary

long	getPos()
boolean	hasRedundantSuffix()
int	id()
void	setHasRedundantSuffix(boolean hasRedundantSuffix)
void	setId(int id)
void	setPos(long pos)
void	setToken(char[] token)
int	sourceEnd()
int	sourceStart()
char[]	token()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

JmlIdentifier

public JmlIdentifier(char[] token,
                     boolean hasRedundantSuffix,
                     int id,
                     long pos)

Method Detail

sourceStart

public int sourceStart()

sourceEnd

public int sourceEnd()

token

public char[] token()

setToken

public void setToken(char[] token)

id

public int id()

setId

public void setId(int id)

getPos

public long getPos()

setPos

public void setPos(long pos)

hasRedundantSuffix

public boolean hasRedundantSuffix()

setHasRedundantSuffix

public void setHasRedundantSuffix(boolean hasRedundantSuffix)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object