dfhdl-compiler-ir
API
Generated with
dfhdl-compiler-ir/dfhdl/dfhdl.compiler/dfhdl.compiler.analysis/StateAnalysis

StateAnalysis

dfhdl.compiler.analysis.StateAnalysis
object StateAnalysis

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

final case class AssignedScope(latest: BitSet, branchHistory: Option[BitSet], parentScopeOption: Option[AssignedScope], hasAssignments: Boolean)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Types

Value members

Concrete methods

final def getImplicitStateVars(remaining: List[DFMember], currentBlock: DFBlock, scopeMap: AssignMap, currentSet: Set[DFVal], checkedDomain: DomainType => Boolean)(using MemberGetSet): (Set[DFVal], AssignMap)

Extensions

Extensions

extension (sm: AssignMap)(using MemberGetSet)
def assignTo(toVal: DFVal, assignBitSet: BitSet): AssignMap
def branchEntry(firstBranch: Boolean): AssignMap
def branchExit(lastBranch: Boolean, exhaustive: Boolean): AssignMap
Generated with