case class LabelStack(parent: LabelStack, target: Target, arity: Int, pushed: Int) extends Product with Serializable
A stack of labels, each one tracking following information:
- the parent label
- its target on break
- its arity (i.e. the number of return value to pop and return on break)
- the number of pushed value so far for the current label
At top-level, the parent is
null
and target is0
. No checks need to be performed because the compiler is only called if the program is correct, in which case all breaks target an existing label. The top-level label is a special synthesized one, representing the top-level block of the function body.
- Source
- Compiler.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- LabelStack
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new LabelStack(parent: LabelStack, target: Target, arity: Int, pushed: Int)
Value Members
- val arity: Int
- def break(lbll: Int): (LabelStack, Int)
- Annotations
- @inline()
- def isToplevel: Boolean
- Annotations
- @inline()
- val parent: LabelStack
- def pop(n: Int): LabelStack
- Annotations
- @inline()
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def push(n: Int): LabelStack
- Annotations
- @inline()
- val pushed: Int
- val target: Target