scair
API
Generated with
scair/scair/scair.scairdl/scair.scairdl.irdef/OperationDef

OperationDef

scair.scairdl.irdef.OperationDef
case class OperationDef(name: String, className: String, operands: Seq[OperandDef], results: Seq[ResultDef], regions: Seq[RegionDef], successors: Seq[SuccessorDef], OpProperty: Seq[OpPropertyDef], OpAttribute: Seq[OpAttributeDef])

Attributes

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

Members list

Value members

Concrete methods

def accessors(implicit indent: Int): String
def constraints_verification(implicit indent: Int): String
def constructs_verification(implicit indent: Int): String
def helpers(implicit indent: Int): String
def irdl_verification(implicit indent: Int): String
def operands_accessors(implicit indent: Int): Seq[String]
def operands_verification(implicit indent: Int): String
def regions_accessors(implicit indent: Int): Seq[String]
def regions_verification(implicit indent: Int): String
def results_accessors(implicit indent: Int): Seq[String]
def results_verification(implicit indent: Int): String
def segmented_single_operand_accessor(name: String, index: String): String
def segmented_single_result_accessor(name: String, index: String): String
def segmented_variadic_operand_accessor(name: String, index: String): String
def segmented_variadic_result_accessor(name: String, index: String): String
def single_operand_accessor(name: String, index: String): String
def single_region_accessor(name: String, index: String): String
def single_result_accessor(name: String, index: String): String
def single_successor_accessor(name: String, index: String): String
def successors_accessors(implicit indent: Int): Seq[String]
def successors_verification(implicit indent: Int): String
def variadic_operand_accessor(name: String, from: String, to: String): String
def variadic_region_accessor(name: String, from: String, to: String): String
def variadic_result_accessor(name: String, from: String, to: String): String
def variadic_successor_accessor(name: String, from: String, to: String): String

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with