Uses of Class
eu.bandm.sig.absy.Absy

Packages that use Absy

eu.bandm.sig.absy	created on 2012-06-22_17h11m15 by program umod, version 0.17 command line = umod --getterfunctions true --setterfunctions true --monolithic false --swingtree true -x 0 /home/lepper/sig//src eu.bandm.sig.absy sig2.umod
eu.bandm.sig.semantics

Uses of Absy in eu.bandm.sig.absy

Subclasses of Absy in eu.bandm.sig.absy

class	AggregateExpression
class	AggregateOperation
class	AggregatePattern
class	AggregateType
class	ArrowType
class	BinaryConstraint
class	BinaryContext
class	BinaryPattern
class	BinaryRule
class	BinaryTest
class	CAxiom
class	CCall
class	CDeclare
class	CDisjoint
class	CEquation
class	CFalse
class	CIntersect
class	ConjunctivePattern
class	Constant
class	Constraint
class	Coproduct
class	CounaryOperation
class	COverlay
class	CTrue
class	DimensionType
class	EApply
class	EBox
class	ECast
class	ECotuple
class	EFun
class	ELet
class	ENum
class	ESelect
class	ETuple
class	EVar
class	ExistentialType
class	Expression
class	Face
class	FamilyType
class	FCoproduct
class	FProduct
class	FVar
class	Index
class	Label
class	LIndex
class	LName
class	Name
class	NCall
class	NDisjoint
class	Net
class	NFail
class	NList
class	NOverlay
class	OAccept
class	OApply
class	OBox
class	OCast
class	OClose
class	OCommit
class	OCoselect
class	OCotuple
class	OId
class	OOpen
class	Operation
class	OSelect
class	OTuple
class	ParametricType
class	Pattern
class	PatternVariable
class	PCast
class	PCotuple
class	PDisjoint
class	PIntersect
class	POverlay
class	Product
class	PTuple
class	PVar
class	QuantifiedType
class	RDisjoint
class	REquation
class	RFail
class	RIntersect
class	ROverlay
class	RSucceed
class	Rule
class	TAccept
class	TAnd
class	TArrow
class	TCoproduct
class	TCotuple
class	Test
class	TFalse
class	TOr
class	TPrimitive
class	TProduct
class	TTrue
class	TuplePattern
class	TVar
class	Type
class	TypeApplication
class	TypeComponent
class	TypeDomain
class	TypeExpression
class	TypeOf
class	TypeRange
class	TypeReference
class	TypeUnknown
class	TypeVariable
class	UnaryTypeExpression
class	UniversalType
class	VAnonymous
class	Variable
class	VariantPattern
class	VNamed
class	VoidOperation

Fields in eu.bandm.sig.absy with type parameters of type Absy

static Function<Absy,Location<SourceId>>	Absy.get_location
static Consumer<Location<SourceId>,Absy>	Absy.set_location

Methods in eu.bandm.sig.absy with type parameters of type Absy

protected <T extends Absy> T

Rewriter.breakLoop(T e0)

Methods in eu.bandm.sig.absy that return Absy

Absy	Absy.doclone()
Absy	Absy.initFrom(Object o0)

Methods in eu.bandm.sig.absy with parameters of type Absy

protected void	__TREEGEN__.Inner1.Inner2.action(Absy e0)
protected void	__Formatter.action(Absy el)
protected void	Visitor.action(Absy e0)
protected void	Rewriter.action(Absy e0)
protected void	MATCH_ONLY_00.action(Absy e0)
void	MATCH_ONLY_00.match(Absy e0)
protected void	Rewriter.rewriteFields(Absy clone)
protected Format	__Formatter.toFormat(Absy el)

Uses of Absy in eu.bandm.sig.semantics

Methods in eu.bandm.sig.semantics with type parameters of type Absy

<A extends Absy> A

Propagator.propagate(A a)

Methods in eu.bandm.sig.semantics with parameters of type Absy

void	BoxChecker.check(eu.bandm.sig.semantics.TypeAnnotator ta, Absy a)