Deprecated API

Contents

• Deprecated Fields
• Deprecated Methods

Deprecated Fields

Field and Description
de.rwth.i2.attestor.seplog.SeparationLogicParser.tokenNames Use SeparationLogicParser.VOCABULARY instead.
de.rwth.i2.attestor.seplog.SeparationLogicLexer.tokenNames Use SeparationLogicLexer.VOCABULARY instead.

Deprecated Methods

Method and Description
de.rwth.i2.attestor.seplog.SeparationLogicParser.getTokenNames()
de.rwth.i2.attestor.seplog.SeparationLogicLexer.getTokenNames()