Class SingleState

Hierarchy (View Summary)

StateHolder
- SingleState

Index

Constructors

Properties

Accessors

exampleMoveAccess field state

Methods

copy equals getVarNames mergeWith propagateValid create

Constructors

constructor

new SingleState(state: MoveTable.State, parent?: StateHolder): SingleState
Parameters
- state: MoveTable.State
- Optionalparent: StateHolder
Returns SingleState
Overrides StateHolder.constructor
- Defined in coral/src/symbol/MoveTable.ts:359

Properties

parent

parent: StateHolder | undefined

Accessors

exampleMoveAccess

get exampleMoveAccess(): Access | undefined
Returns Access | undefined
Overrides StateHolder.exampleMoveAccess
- Defined in coral/src/symbol/MoveTable.ts:391
set exampleMoveAccess(access: Access): void
Parameters
- access: Access
Returns void
Overrides StateHolder.exampleMoveAccess
- Defined in coral/src/symbol/MoveTable.ts:387

field

get field(): string | undefined
Returns string | undefined
Inherited from StateHolder.field
- Defined in coral/src/symbol/MoveTable.ts:329

state

get state(): MoveTable.State
Returns MoveTable.State
Overrides StateHolder.state
- Defined in coral/src/symbol/MoveTable.ts:383
set state(state: MoveTable.State): void
Parameters
- state: MoveTable.State
Returns void
Overrides StateHolder.state
- Defined in coral/src/symbol/MoveTable.ts:376

Methods

copy

copy(): StateHolder
Returns StateHolder
Overrides StateHolder.copy
- Defined in coral/src/symbol/MoveTable.ts:451

equals

equals(other: StateHolder): boolean
Parameters
- other: StateHolder
Returns boolean
Overrides StateHolder.equals
- Defined in coral/src/symbol/MoveTable.ts:444

getVarNames

getVarNames(state: MoveTable.State): string[]
Parameters
- state: MoveTable.State
Returns string[]
Overrides StateHolder.getVarNames
- Defined in coral/src/symbol/MoveTable.ts:372

mergeWith

mergeWith(other: StateHolder): void
Parameters
- other: StateHolder
Returns void
Overrides StateHolder.mergeWith
- Defined in coral/src/symbol/MoveTable.ts:395

propagateValid

propagateValid(): void
Returns void
Overrides StateHolder.propagateValid
- Defined in coral/src/symbol/MoveTable.ts:365

`Static`create

create($vardecl: Vardecl, ty: Ty, initialState?: MoveTable.State): StateHolder
Parameters
- $vardecl: Vardecl
- ty: Ty
- initialState: MoveTable.State = MoveTable.State.UNINIT
Returns StateHolder
Inherited from StateHolder.create
- Defined in coral/src/symbol/MoveTable.ts:306