Deprecated API

Contents

• Fields
• Methods

Deprecated Fields

Field	Description
convex.core.lang.reader.antlr.ConvexLexer.tokenNames	Use ConvexLexer.VOCABULARY instead.
convex.core.lang.reader.antlr.ConvexParser.tokenNames	Use ConvexParser.VOCABULARY instead.

Deprecated Methods

Method	Description
convex.core.lang.reader.antlr.ConvexLexer.getTokenNames()
convex.core.lang.reader.antlr.ConvexParser.getTokenNames()