class ExhaustivenessChecker::Row
- ExhaustivenessChecker::Row
- Reference
- Object
Overview
A row in a pattern matching table.
Defined in:
exhaustiveness_checker.crConstructors
Instance Method Summary
- #body : Body
- #columns : Array(Column)
- #guard : Int32 | Nil
-
#remove_column(id : Int32)
Removes the column of the variable with the id.
Constructor Detail
def self.new(columns : Array(ExhaustivenessChecker::Column), guard : Int32 | Nil, body : ExhaustivenessChecker::Body)
#