org.jmlspecs.jml4.esc.gc.lang.simple.expr
Class SimpleAssignable

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression
      org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleAssignable

Direct Known Subclasses:

SimpleArrayReference, SimpleFieldReference, SimpleVariable

public abstract class SimpleAssignable
extends SimpleExpression

Field Summary

Fields inherited from class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression

sourceEnd, sourceStart, type

Constructor Summary

SimpleAssignable(TypeBinding type, int sourceStart, int sourceEnd)

Method Summary

abstract boolean	equals(java.lang.Object that)
abstract java.lang.String	getName()
abstract int	hashCode()
boolean	isField()
boolean	isVariable()

Methods inherited from class org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleExpression

accept, accept, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SimpleAssignable

public SimpleAssignable(TypeBinding type,
                        int sourceStart,
                        int sourceEnd)

Method Detail

getName

public abstract java.lang.String getName()

equals

public abstract boolean equals(java.lang.Object that)

Overrides:

equals in class java.lang.Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class java.lang.Object

isField

public boolean isField()

isVariable

public boolean isVariable()