public class LabeledParserRuleContext
extends java.lang.Object
ParserRuleContext
to a TermLabel
.Modifier and Type | Field and Description |
---|---|
org.antlr.v4.runtime.ParserRuleContext |
first |
TermLabel |
second |
Constructor and Description |
---|
LabeledParserRuleContext(org.antlr.v4.runtime.ParserRuleContext first) |
LabeledParserRuleContext(org.antlr.v4.runtime.ParserRuleContext ctx,
OriginTermLabel.SpecType specType) |
LabeledParserRuleContext(org.antlr.v4.runtime.ParserRuleContext first,
TermLabel second) |
@Nonnull public final org.antlr.v4.runtime.ParserRuleContext first
@Nullable public final TermLabel second
public LabeledParserRuleContext(org.antlr.v4.runtime.ParserRuleContext first, TermLabel second)
public LabeledParserRuleContext(org.antlr.v4.runtime.ParserRuleContext first)
public LabeledParserRuleContext(org.antlr.v4.runtime.ParserRuleContext ctx, OriginTermLabel.SpecType specType)
Copyright © 2003-2019 The KeY-Project.