| Package | Description |
|---|---|
| org.stekikun.dolmen.syntax |
| Modifier and Type | Method and Description |
|---|---|
PExtent.Builder |
PExtent.Builder.addHole(int sourcePos,
String name,
int startLine,
int startCol)
Adds a new hole at source position
sourcePos and
linked with the parameter name |