esmeta
API
Generated with
esmeta/esmeta/esmeta.es/esmeta.es.builtin

esmeta.es.builtin

package esmeta.es.builtin

Members list

Type members

Classlikes

case class AccessorDesc(get: Value, set: Value, enumerable: Boolean, configurable: Boolean) extends PropDesc

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait PropDesc
trait ESElem
class Object
trait Matchable
class Any
Show all
case class DataDesc(value: Value, writable: Boolean, enumerable: Boolean, configurable: Boolean) extends PropDesc

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait PropDesc
trait ESElem
class Object
trait Matchable
class Any
Show all
object DataDesc

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
DataDesc.type
case class GlobalObject(cfg: CFG)

model for global object

model for global object

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Intrinsics(templates: List[Template], models: List[Model]) extends ESElem

model for intrinsic built-in objects

model for intrinsic built-in objects

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait ESElem
class Object
trait Matchable
class Any
Show all
object Intrinsics extends From[Intrinsics]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Show all
Self type
Intrinsics.type
case class Model(name: String, tname: String, imap: List[(String, String)], nmap: List[(PropKey, String)]) extends ESElem

intrinsic model

intrinsic model

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait ESElem
class Object
trait Matchable
class Any
Show all
object Model extends From[Model]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait BasicParsers.this.From[Model]
class Object
trait Matchable
class Any
Show all
Self type
Model.type
sealed trait PropDesc extends ESElem

Attributes

Supertypes
trait ESElem
class Object
trait Matchable
class Any
Known subtypes
class AccessorDesc
class DataDesc
enum PropKey extends ESElem

property key

property key

Attributes

Companion
object
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
trait ESElem
class Object
trait Matchable
class Any
Show all
object PropKey extends From[PropKey]

Attributes

Companion
enum
Supertypes
trait Sum
trait Mirror
trait BasicParsers.this.From[PropKey]
class Object
trait Matchable
class Any
Show all
Self type
PropKey.type
case class Symbol(cfg: CFG)

model for symbols

model for symbols

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Template(name: String, instances: Map[String, Map[String, String]]) extends ESElem

templates

templates

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait ESElem
class Object
trait Matchable
class Any
Show all
object Template extends From[Template]

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
trait BasicParsers.this.From[Template]
class Object
trait Matchable
class Any
Show all
Self type
Template.type
object TemplateReplacer

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def descAddr(name: String, key: PropKey): NamedAddr

descriptor address

descriptor address

Attributes

def descName(name: String, key: PropKey): String

descriptor name

descriptor name

Attributes

def elemsAddr(name: String): NamedAddr

PrivateElements addr

PrivateElements addr

Attributes

def elemsName(name: String): String

PrivateElements name

PrivateElements name

Attributes

def getMapObjects(name: String, descBase: String, nmap: List[(PropKey, PropDesc)])(using CFG): Map[Addr, Obj]

get map

get map

Attributes

def intrAddr(name: String): NamedAddr

intrinsics addr

intrinsics addr

Attributes

def intrName(name: String): String

intrinsics name

intrinsics name

Attributes

def mapAddr(name: String): NamedAddr

map addr

map addr

Attributes

def mapName(name: String): String

map name

map name

Attributes

def symbolAddr(name: String): NamedAddr

symbol address

symbol address

Attributes

def symbolName(name: String): String

symbol name

symbol name

Attributes

def taAddr(name: String): NamedAddr

typed array addr

typed array addr

Attributes

def taName(name: String): String

typed array name

typed array name

Attributes

def toObject(desc: PropDesc)(using CFG): RecordObj

convert property descriptor to ir map object

convert property descriptor to ir map object

Attributes

Concrete fields

val AGENT_RECORD: String
val AGENT_SIGNIFIER: String
val BIGINT_TYPE: String
val BOOL_TYPE: String
val BOUND_VALUE: String
val CANDIDATE_EXECUTION: String
val DESCRIPTOR: String
val EXECUTION_STACK: String
val F: Boolean
val GLOBAL: String
val HOST_DEFINED: String
val INNER_CODE: String
val INNER_MAP: String
val INTRINSICS: String

predefined constants

predefined constants

Attributes

val JOB_QUEUE: String
val KEPT_ALIVE: String
val MATH_PI: String
val NULL_TYPE: String
val NUMBER_TYPE: String
val OBJECT_TYPE: String
val PRIMITIVE: String
val PRIVATE_ELEMENTS: String
val REALM: String
val RESUME_CONT: String
val RETURN_CONT: String
val SOURCE_TEXT: String
val STRING_TYPE: String
val SYMBOL: String
val SYMBOL_REGISTRY: String
val SYMBOL_TYPE: String
val T: Boolean

predefined shortcuts

predefined shortcuts

Attributes

val TYPED_ARRAY: String
val U: Undef.type
val UNDEF_TYPE: String
val WELL_KNOWN_INTRINSICS: String
val WELL_KNOWN_SYMBOLS: String
val yetFuncs: Set[String]

not yet supported functions

not yet supported functions

Attributes

val yets: Map[String, ValueTy]

not yet supported objects

not yet supported objects

Attributes

Generated with