gapt
2.19.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.formats/gapt.formats.babel/BabelSignature

BabelSignature

gapt.formats.babel.BabelSignature
See theBabelSignature companion object
trait BabelSignature

A signature for the Babel parser. This class decides whether a free identifier is a variable or a constant.

Attributes

Companion
object
Source
BabelSignature.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object defaultSignature.type
trait Context

Members list

Value members

Abstract methods

def notationsForToken(token: Token): Option[Notation]

Attributes

Source
BabelSignature.scala
def signatureLookup(s: String): VarConst

Decides whether the symbol with the given identifier should be a variable or constant, and what its type should be.

Decides whether the symbol with the given identifier should be a variable or constant, and what its type should be.

Value parameters

s

The name of the symbol.

Attributes

Returns

Either IsVar(type) or IsConst(type).

Source
BabelSignature.scala
Generated with