Deprecated API

Contents

• Deprecated Fields
• Deprecated Methods

Deprecated Fields

Field and Description
jtabwbx.prop.parser.FormulaParser.tokenNames Use FormulaParser.VOCABULARY instead.
jtabwbx.prop.parser.FormulaLexer.tokenNames Use FormulaLexer.VOCABULARY instead.
jtabwbx.modal.parser.ModalWffParser.tokenNames Use ModalWffParser.VOCABULARY instead.
jtabwbx.modal.parser.ModalWffLexer.tokenNames Use ModalWffLexer.VOCABULARY instead.

Deprecated Methods

Method and Description
jtabwbx.prop.parser.FormulaParser.getTokenNames()
jtabwbx.prop.parser.FormulaLexer.getTokenNames()
jtabwbx.modal.parser.ModalWffParser.getTokenNames()
jtabwbx.modal.parser.ModalWffLexer.getTokenNames()