SemanticAnalyzer

---

Object Hierarchy:

Description:

Content:

Properties:

• public Method? current_async_method { get; }
• public Class? current_class { get; }
• public Method? current_method { get; }
• public Symbol? current_method_or_property_accessor { get; }
• public PropertyAccessor? current_property_accessor { get; }
• public DataType? current_return_type { get; }
• public SourceFile current_source_file { get; set; }
• public Struct? current_struct { get; }
• public Symbol? current_symbol { get; set; }
• public TypeSymbol? current_type_symbol { get; }

Static methods:

• public static Expression create_temp_access (LocalVariable local, DataType? target_type)
• public static unowned Method? find_parent_method (Symbol sym)
• public static unowned Symbol? find_parent_method_or_property_accessor (Symbol sym)
• public static unowned TypeSymbol? find_parent_type_symbol (Symbol sym)
• public static DataType get_actual_type (DataType? derived_instance_type, List<DataType>? method_type_arguments, GenericType generic_type, CodeNode? node_reference)
• public static DataType get_data_type_for_symbol (Symbol sym)
• public static unowned Symbol? get_symbol_for_data_type (DataType type)
• public static DataType? get_this_type (Symbol s, TypeSymbol? parent = null)
• public static Symbol? symbol_lookup_inherited (Symbol sym, string name)

Creation methods:

• public SemanticAnalyzer ()

Methods:

• public void analyze (CodeContext context)
• public bool check_arguments (Expression expr, DataType mtype, List<Parameter> @params, List<Expression> args)
• public bool check_print_format (string format, Iterator<Expression> arg_it, SourceReference? source_reference = null)
• public void check_type (DataType type)
• public void check_type_arguments (MemberAccess access)
• public bool check_variadic_arguments (Iterator<Expression>? arg_it, int i, SourceReference? source_reference = null)
• public unowned Method? find_current_method ()
• public unowned DataType? get_arithmetic_result_type (DataType left_type, DataType right_type)
• public DataType? get_value_type_for_symbol (Symbol sym, bool lvalue)
• public bool is_gobject_property (Property prop)
• public bool is_gobject_property_type (DataType property_type)
• public bool is_in_constructor ()
• public bool is_in_destructor ()
• public bool is_in_instance_method ()
• public bool is_nullable_value_type_argument (DataType type_arg)
• public bool is_reference_type_argument (DataType type_arg)
• public bool is_signed_integer_type_argument (DataType type_arg)
• public bool is_unsigned_integer_type_argument (DataType type_arg)
• public override void visit_source_file (SourceFile file)

Fields:

• public DataType bool_type
• public DataType char_type
• public DelegateType delegate_target_destroy_type
• public DataType delegate_target_type
• public DataType double_type
• public DataType garray_type
• public DataType genericarray_type
• public DelegateType generics_dup_func_type
• public Class gerror_type
• public DataType glist_type
• public DataType gsequence_type
• public DataType gslist_type
• public Class gsource_type
• public StructValueType gvalue_type
• public DataType gvaluearray_type
• public ObjectType gvariant_type
• public Block insert_block
• public DataType int16_type
• public DataType int32_type
• public DataType int8_type
• public DataType int_type
• public DataType list_type
• public DataType long_type
• public Class object_type
• public DataType regex_type
• public List<CodeNode> replaced_nodes
• public DataType short_type
• public DataType size_t_type
• public DataType ssize_t_type
• public DataType string_type
• public DataType tuple_type
• public DataType type_type
• public DataType uchar_type
• public DataType uint16_type
• public DataType uint32_type
• public DataType uint8_type
• public DataType uint_type
• public DataType ulong_type
• public DataType unichar_type
• public DataType ushort_type
• public DataType va_list_type
• public DataType void_type

Inherited Members: