gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.formats/gapt.formats.babel/BabelSignature/defaultSignature

defaultSignature

gapt.formats.babel.BabelSignature.defaultSignature
object defaultSignature extends BabelSignature

The signature that the Babel parser will use if no other signature is in scope. In this signature, identifiers denote variables iff they start with [u-zU-Z]. The types of all identifiers are arbitrary.

Attributes

Source
BabelSignature.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete 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

Concrete fields

val notations: Notations

Attributes

Source
BabelSignature.scala
val varPattern: Regex

Attributes

Source
BabelSignature.scala
Generated with