Class: AdLint::Cc1::LogicalAnd

Inherits:
ValueDomainNarrowing show all
Defined in:
lib/adlint/cc1/ctrlexpr.rb

Instance Attribute Summary

Attributes inherited from ValueDomainNarrowing

#narrowed_values, #node, #result

Instance Method Summary collapse

Methods inherited from ValueDomainNarrowing

#ensure_result_equal_to, #execute!, #load_original_values!

Methods included from Conversion

#do_conversion, #do_default_argument_promotion, #do_integer_promotion, #do_usual_arithmetic_conversion, #untyped_pointer_conversion?

Methods included from InterpreterMediator

#constant_expression?, #current_branch, #interpret, #object_to_pointer, #object_to_variable, #pointer_value_of, #reset_environment, #scalar_value_of, #scalar_value_of_arbitrary, #scalar_value_of_false, #scalar_value_of_null, #scalar_value_of_true, #value_of

Methods included from InterpSyntaxBridge

#_interp_syntax_bridge_

Methods included from InterpObjectBridge

#_interp_object_bridge_

Methods included from ArithmeticAccessor

#arithmetic, #logical_right_shift?

Methods included from FunctionTableMediator

#declare_explicit_function, #declare_implicit_function, #define_anonymous_function, #define_explicit_function

Methods included from VariableTableMediator

#create_tmpvar, #local_variables

Methods included from MemoryPoolMediator

#pointee_of

Constructor Details

#initialize(manip, node, lhs_manip, rhs_manip) ⇒ LogicalAnd

Returns a new instance of LogicalAnd.



772
773
774
775
776
 
# File 'lib/adlint/cc1/ctrlexpr.rb', line 772

def initialize(manip, node, lhs_manip, rhs_manip)
  super
  @lhs_manip = lhs_manip
  @rhs_manip = rhs_manip
end