public class TextualJMLAssertStatement extends TextualJMLConstruct
Modifier and Type | Class and Description |
---|---|
static class |
TextualJMLAssertStatement.Kind |
mods, name
Constructor and Description |
---|
TextualJMLAssertStatement(TextualJMLAssertStatement.Kind kind,
LabeledParserRuleContext clause) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getClauseText() |
LabeledParserRuleContext |
getContext() |
TextualJMLAssertStatement.Kind |
getKind() |
addGeneric, getApproxPosition, getMods, getSourceFileName, isLoopContract, setLoopContract, setPosition, setPosition, setPosition
public TextualJMLAssertStatement(TextualJMLAssertStatement.Kind kind, LabeledParserRuleContext clause)
public LabeledParserRuleContext getContext()
public java.lang.String getClauseText()
public TextualJMLAssertStatement.Kind getKind()
Copyright © 2003-2019 The KeY-Project.