Class StateHolder`Abstract`

Hierarchy (View Summary)

StateHolder
- SingleState
- FieldStates

Index

Constructors

Accessors

exampleMoveAccess field parent state

Methods

copy equals getVarNames mergeWith propagateValid create

Constructors

constructor

new StateHolder(): StateHolder
Returns StateHolder

Accessors

`Abstract`exampleMoveAccess

get exampleMoveAccess(): Access | undefined
Returns Access | undefined
- Defined in coral/src/symbol/MoveTable.ts:348
set exampleMoveAccess(access: Access): void
Parameters
- access: Access
Returns void
- Defined in coral/src/symbol/MoveTable.ts:347

field

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

`Abstract`parent

get parent(): StateHolder | undefined
Returns StateHolder | undefined
- Defined in coral/src/symbol/MoveTable.ts:342
set parent(parent: StateHolder): void
Parameters
- parent: StateHolder
Returns void
- Defined in coral/src/symbol/MoveTable.ts:341

`Abstract`state

get state(): MoveTable.State
Returns MoveTable.State
- Defined in coral/src/symbol/MoveTable.ts:346
set state(state: MoveTable.State): void
Parameters
- state: MoveTable.State
Returns void
- Defined in coral/src/symbol/MoveTable.ts:345

Methods

`Abstract`copy

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

`Abstract`equals

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

`Abstract`getVarNames

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

`Abstract`mergeWith

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

`Abstract`propagateValid

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

`Static`create

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