Package eu.bandm.tools.d2d2.base

Class TypeCheck.AttributeCollector

java.lang.Object

eu.bandm.tools.d2d2.model.MATCH_ONLY_00

eu.bandm.tools.d2d2.model.SinglePhase

eu.bandm.tools.d2d2.base.TypeCheck.AttributeCollector

Enclosing class:

TypeCheck

protected static class TypeCheck.AttributeCollector
extends SinglePhase

Field Summary

Fields

Modifier and Type	Field	Description
(package private) Set<Expression>	attrefs
(package private) Set<Definition>	atts
(package private) boolean	underOpt
(package private) boolean	underPlus
(package private) boolean	underStar

Fields inherited from class eu.bandm.tools.d2d2.model.MATCH_ONLY_00

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor	Description
AttributeCollector(Set<Definition> atts)
AttributeCollector(Set<Definition> atts, Set<Expression> attrefs)

Method Summary

Modifier and Type	Method	Description
void	action(Opt opt)
void	action(Plus plus)
void	action(Reference ref)
void	action(Star star)

Methods inherited from class eu.bandm.tools.d2d2.model.SinglePhase

action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, follow_allRawModules, follow_definitions, follow_defInstances, follow_docu, follow_firsts, follow_globalSubsts, follow_imports, follow_itemDocu, follow_localdefs, follow_localSubsts, follow_modules, follow_namespaces, follow_obligates, follow_on, follow_resolved, follow_sources, follow_weakfirsts, follow_xattributes

Methods inherited from class eu.bandm.tools.d2d2.model.MATCH_ONLY_00

_visitor_trace, action, action, action, action, compile, followAll_allRawModules, followAll_definitions, followAll_defInstances, followAll_docu, followAll_firsts, followAll_globalSubsts, followAll_imports, followAll_itemDocu, followAll_localdefs, followAll_localSubsts, followAll_modules, followAll_namespaces, followAll_obligates, followAll_on, followAll_resolved, followAll_sources, followAll_weakfirsts, followAll_xattributes, foreignObject, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, nomatch

Methods inherited from class java.lang.Object

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

Field Details

atts

Set<Definition> atts

attrefs

Set<Expression> attrefs

underOpt

boolean underOpt

underStar

boolean underStar

underPlus

boolean underPlus

Constructor Details

AttributeCollector

public AttributeCollector(Set<Definition> atts)

AttributeCollector

public AttributeCollector(Set<Definition> atts,
 Set<Expression> attrefs)

Method Details

action

public void action(Opt opt)

Overrides:

action in class SinglePhase

action

public void action(Star star)

Overrides:

action in class SinglePhase

action

public void action(Plus plus)

Overrides:

action in class SinglePhase

action

public void action(Reference ref)

Overrides:

action in class SinglePhase