public class ClosureInfo.ResultClosureInfo
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
VarHyp[] |
hypToVarHypMap
Array of used variables
|
ParseNode |
main
The root of main part (after ->)
|
PropertyTemplate |
template
The used template (e.g.
|
Constructor and Description |
---|
ResultClosureInfo(ParseNode main,
PropertyTemplate template,
VarHyp[] hypToVarHypMap) |
public final ParseNode main
public final PropertyTemplate template
public final VarHyp[] hypToVarHypMap
public ResultClosureInfo(ParseNode main, PropertyTemplate template, VarHyp[] hypToVarHypMap)