Class FieldStates

Hierarchy (View Summary)

StateHolder
- FieldStates

Index

Constructors

Properties

hasDropFunction parent substates

Accessors

dropState exampleMoveAccess field state

Methods

copy equals get getVarNames isConsistentState mergeWith propagateValid create

Constructors

constructor

new FieldStates(
    states: Map<string, StateHolder>,
    initialState: MoveTable.State,
    hasDropFunction: boolean,
    parent?: StateHolder,
): FieldStates
Parameters
- states: Map<string, StateHolder>
- initialState: MoveTable.State
- hasDropFunction: boolean
- Optionalparent: StateHolder
Returns FieldStates
Overrides StateHolder.constructor
- Defined in coral/src/symbol/MoveTable.ts:469

Properties

hasDropFunction

hasDropFunction: boolean

parent

parent: StateHolder | undefined

substates

substates: Map<string, StateHolder>

Accessors

dropState

get dropState(): MoveTable.State
Returns MoveTable.State
- Defined in coral/src/symbol/MoveTable.ts:561

exampleMoveAccess

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

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:524
set state(state: MoveTable.State): void
Parameters
- state: MoveTable.State
Returns void
Overrides StateHolder.state
- Defined in coral/src/symbol/MoveTable.ts:514

Methods

copy

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

equals

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

get

get(field: string): StateHolder
Parameters
- field: string
Returns StateHolder
- Defined in coral/src/symbol/MoveTable.ts:492

getVarNames

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

isConsistentState

isConsistentState(): boolean
Returns boolean
- Defined in coral/src/symbol/MoveTable.ts:565

mergeWith

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

propagateValid

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

`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