Package eu.bandm.tools.formatfrontends

Class DynamicFormatter.ChildInfo

java.lang.Object

eu.bandm.tools.formatfrontends.DynamicFormatter.ChildInfo

Enclosing class:

DynamicFormatter

protected static class DynamicFormatter.ChildInfo
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Format	closeDelim
Format	emptyList
int	foldOp
Format	maplet
Format	openDelim
Format	separator
eu.bandm.tools.formatfrontends.absy.Element_pattern	subCode

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ChildInfo()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

openDelim

public Format openDelim

maplet

public Format maplet

separator

public Format separator

closeDelim

public Format closeDelim

emptyList

public Format emptyList

foldOp

public int foldOp

subCode

public eu.bandm.tools.formatfrontends.absy.Element_pattern subCode

Constructor Details

ChildInfo

protected ChildInfo()