jif.types
Interface LabelLeAssertion

All Superinterfaces:

Assertion, java.lang.Cloneable, polyglot.util.Copy, java.io.Serializable, polyglot.types.TypeObject

All Known Implementing Classes:

LabelLeAssertion_c

public interface LabelLeAssertion
extends Assertion

Method Summary

Label	lhs()
LabelLeAssertion	lhs(Label lhs)
Label	rhs()
LabelLeAssertion	rhs(Label rhs)

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, isCanonical, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

lhs

Label lhs()

rhs

Label rhs()

lhs

LabelLeAssertion lhs(Label lhs)

rhs

LabelLeAssertion rhs(Label rhs)