de.uka.ilkd.key.proof.io

Class IntermediatePresentationProofFileParser.RuleInformation

java.lang.Object

de.uka.ilkd.key.proof.io.IntermediatePresentationProofFileParser.RuleInformation

Direct Known Subclasses:

IntermediatePresentationProofFileParser.BuiltinRuleInformation, IntermediatePresentationProofFileParser.TacletInformation

Enclosing class:

IntermediatePresentationProofFileParser

private abstract static class IntermediatePresentationProofFileParser.RuleInformation
extends java.lang.Object

General information about taclet and built-in rule applications.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
protected int	currFormula
protected ImmutableList<Name>	currNewNames
protected PosInTerm	currPosInTerm
protected java.lang.String	currRuleName

Constructor Summary

Constructors

Constructor and Description
RuleInformation(java.lang.String ruleName)

Method Summary

Modifier and Type	Method and Description
boolean	isBuiltinInfo()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

currRuleName

protected java.lang.String currRuleName

currFormula

protected int currFormula

currPosInTerm

protected PosInTerm currPosInTerm

currNewNames

protected ImmutableList<Name> currNewNames

Constructor Detail

RuleInformation

public RuleInformation(java.lang.String ruleName)

Method Detail

isBuiltinInfo

public boolean isBuiltinInfo()