esmeta
API
Generated with
esmeta/esmeta/esmeta.ir/IWhile

IWhile

esmeta.ir.IWhile
case class IWhile(cond: Expr, body: Inst) extends BranchInst

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait BranchInst
trait Inst
trait LangEdge
trait IRElem
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def loc: Option[Loc]

get source locations

get source locations

Attributes

Inherited from:
LangEdge
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def setLang(lang: Syntax): LangEdge.this.type

update backward edge to metalangauge

update backward edge to metalangauge

Attributes

Inherited from:
LangEdge
def setLangOpt(langOpt: Option[Syntax]): LangEdge.this.type

update backward edge to metalangauge

update backward edge to metalangauge

Attributes

Inherited from:
LangEdge
def toList: List[Inst]

Attributes

Inherited from:
Inst
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
IRElem -> Any
Inherited from:
IRElem
def toString(detail: Boolean, location: Boolean): String

stringify with options

stringify with options

Attributes

Inherited from:
IRElem

Inherited fields

var langOpt: Option[Syntax]

backward edge to metalangauge

backward edge to metalangauge

Attributes

Inherited from:
LangEdge
Generated with