protected static class DynamicFormatter.ChildInfo extends Object
Modifier and Type | Field and Description |
---|---|
Format |
closeDelim |
Format |
emptyList |
int |
foldOp |
Format |
maplet |
Format |
openDelim |
Format |
separator |
eu.bandm.tools.formatfrontends.absy.Element_pattern |
subCode |
Modifier | Constructor and Description |
---|---|
protected |
ChildInfo() |
see also the complete user documentation .