Module: Veritas::SQL::Generator::Function::Proposition

Includes:
Veritas::SQL::Generator::Function
Included in:
Relation::Unary
Defined in:
lib/veritas/sql/generator/function/proposition.rb

Overview

Generates an SQL statement for a proposition function

Constant Summary

Constants included from Identifier

Identifier::ESCAPED_QUOTE, Identifier::QUOTE

Constants included from Literal

Literal::ESCAPED_QUOTE, Literal::FALSE, Literal::NULL, Literal::QUOTE, Literal::SEPARATOR, Literal::TIME_SCALE, Literal::TRUE

Instance Method Summary collapse

Methods included from Attribute

#visit_veritas_attribute

Methods included from Identifier

#visit_identifier

Methods included from Literal

dup_frozen, #visit_class, #visit_date, #visit_date_time, #visit_enumerable, #visit_false_class, #visit_nil_class, #visit_numeric, #visit_string, #visit_time, #visit_true_class

Instance Method Details

#visit_veritas_function_proposition_contradiction(_contradiction) ⇒ #to_s

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

Visit a Contradiction

Parameters:

  • _contradiction (Function::Proposition::Contradiction)

Returns:

  • (#to_s) 


30
31
32
 
# File 'lib/veritas/sql/generator/function/proposition.rb', line 30

def visit_veritas_function_proposition_contradiction(_contradiction)
  FALSE
end

#visit_veritas_function_proposition_tautology(_tautology) ⇒ #to_s

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

Visit a Tautology

Parameters:

  • _tautology (Function::Proposition::Tautology)

Returns:

  • (#to_s) 


19
20
21
 
# File 'lib/veritas/sql/generator/function/proposition.rb', line 19

def visit_veritas_function_proposition_tautology(_tautology)
  TRUE
end