public class Header extends TapElement
comment, indentation
Constructor and Description |
---|
Header(Integer version)
Constructor with parameter.
|
Modifier and Type | Method and Description |
---|---|
Integer |
getVersion() |
getComment, getDiagnostic, getIndentation, setComment, setDiagnostic
Copyright © 2010–2019 TupiLabs. All rights reserved.