class ExhaustivenessChecker::Row

Overview

A row in a pattern matching table.

Defined in:

exhaustiveness_checker.cr

Constructors

Instance Method Summary

Constructor Detail

def self.new(columns : Array(ExhaustivenessChecker::Column), guard : Int32 | Nil, body : ExhaustivenessChecker::Body) #

[View source]

Instance Method Detail

def body : Body #

[View source]
def columns : Array(Column) #

[View source]
def guard : Int32 | Nil #

[View source]
def remove_column(id : Int32) #

Removes the column of the variable with the id.


[View source]