Package eu.bandm.tools.umod

Class UMod2visitors.V_makeVDescend

java.lang.Object

eu.bandm.tools.umod.UMod.Visitor

eu.bandm.tools.umod.UMod2visitors.Lr_decoder

eu.bandm.tools.umod.UMod2visitors.V_makeVDescend

Enclosing class:

UMod2visitors

protected class UMod2visitors.V_makeVDescend
extends UMod2visitors.Lr_decoder

Returns in "result" a Format which represents the descending code. "==null" iff there are no visitable fields. The real method declaration is done by the caller. Updates globally the set UMod.FieldDef.visitable_types for the selected visitor register number.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final int	branchcase
(package private) final UMod.FieldDef	fd
(package private) Format	model	Currently visited getter-expression.
protected int	modelnum	The cursor variables in "for (i0:...)" are built with an ever increasing number, instead of shadowing previous model names.
(package private) @Opt Format	result	Accumulated "for(i1;..)match(...)"-code.
(package private) final CheckedSet<UMod.T_reference>	visitable_leaf_types

Fields inherited from class eu.bandm.tools.umod.UMod2visitors.Lr_decoder

leftSelected, lrcode, lrposition, rightSelected

Constructor Summary

Constructors

Constructor	Description
V_makeVDescend(UMod.FieldDef fd, int branchcase, String lrcode)

Method Summary

Modifier and Type	Method	Description
void	action(UMod.T_copair t)
void	action(UMod.T_map t)
void	action(UMod.T_opt t)
void	action(UMod.T_pair t)
void	action(UMod.T_power t)
void	action(UMod.T_reference t)
void	action(UMod.T_rel t)
void	action(UMod.T_seq t)
protected void	mapOrMultimap(UMod.T_2 t, Format modelAsEntrySet)
protected void	pairOrCoPair(UMod.T_2 t, boolean is_co)
protected void	setOrList(UMod.Type t)

Methods inherited from class eu.bandm.tools.umod.UMod2visitors.Lr_decoder

updateSelection

Methods inherited from class eu.bandm.tools.umod.UMod.Visitor

action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, descend_Forest$extBySequence, getResult, match

Methods inherited from class java.lang.Object

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

Field Details

result

@Opt
@Opt Format result

Accumulated "for(i1;..)match(...)"-code. If ==null, then no single visitable field has been selected.

model

Format model

Currently visited getter-expression.

modelnum

protected int modelnum

The cursor variables in "for (i0:...)" are built with an ever increasing number, instead of shadowing previous model names.

fd

final UMod.FieldDef fd

branchcase

final int branchcase

visitable_leaf_types

final CheckedSet<UMod.T_reference> visitable_leaf_types

Constructor Details

V_makeVDescend

V_makeVDescend(UMod.FieldDef fd,
 int branchcase,
 String lrcode)

Method Details

action

public void action(UMod.T_opt t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_reference t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_seq t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_power t)

Overrides:

action in class UMod.Visitor

setOrList

protected void setOrList(UMod.Type t)

action

public void action(UMod.T_map t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_rel t)

Overrides:

action in class UMod.Visitor

mapOrMultimap

protected void mapOrMultimap(UMod.T_2 t,
 Format modelAsEntrySet)

action

public void action(UMod.T_pair t)

Overrides:

action in class UMod.Visitor

action

public void action(UMod.T_copair t)

Overrides:

action in class UMod.Visitor

pairOrCoPair

protected void pairOrCoPair(UMod.T_2 t,
 boolean is_co)