class Macros::TypeNode

Overview

Represents a type in the program, like Int32 or String.

Defined in:

docs/macros.cr

Instance Method Summary

Instance methods inherited from class Macros::ASTNode

! : BoolLiteral !, !=(other : ASTNode) : BoolLiteral !=, ==(other : ASTNode) : BoolLiteral ==, class_name : StringLiteral class_name, id : MacroId id, is_a?(name) : BoolLiteral is_a?, raise(message) : NoReturn raise, stringify : StringLiteral stringify

Instance methods inherited from class Reference

! !, ==(other)
==(other : self)
==
, hash hash, inspect(io : IO) : Nil inspect, nil? nil?, object_id object_id, same?(other : Nil)
same?(other : Reference)
same?
, to_s(io : IO) : Nil to_s

Instance methods inherited from class Object

! !, !=(other) !=, !~(other) !~, ==(other) ==, ===(other) ===, =~(other) =~, class class, clone clone, crystal_type_id crystal_type_id, dup dup, hash hash, inspect
inspect(io : IO)
inspect
, itself itself, not_nil! not_nil!, tap(&block) tap, to_json to_json, to_pretty_json(io : IO)
to_pretty_json
to_pretty_json
, to_s
to_s(io : IO)
to_s
, to_yaml(io : IO)
to_yaml
to_yaml
, try(&block) try

Class methods inherited from class Object

==(other : Class) ==, ===(other) ===, cast(other) : self cast, from_json(string_or_io) from_json, from_yaml(string : String) from_yaml, hash hash, inspect(io) inspect, name : String name, to_s(io) to_s

Instance Method Detail

def abstract? : BoolLiteral #

Returns true if this type is abstract.


[View source]
def has_attribute?(name : StringLiteral | SymbolLiteral) : BoolLiteral #

Returns true if this type has an attribute. For example @[Flags] or @[Packed] (the name you pass to this method is "Flags" or "Packed" in these cases).


[View source]
def has_constant?(name : StringLiteral | SymbolLiteral) : BoolLiteral #

Returns true if this type has a constant. For example DEFAULT_OPTIONS (the name you pass to this method is "DEFAULT_OPTIONS" or :DEFAULT_OPTIONS in this cases).


[View source]
def instance_vars : Macros::ArrayLiteral(MetaVar) #

Returns the instance variables of this type.


[View source]
def methods : Array(Def) #

Returns the instance methods defined by this type, without including inherited methods.


[View source]
def name : MacroId #

Returns the fully qualified name of this type.


[View source]
def size : NumberLiteral #

Returns the number of elements in this tuple type or tuple metaclass type. Gives a compile error if this is not one of those types.


[View source]
def subclasses : Macros::ArrayLiteral(MacroId) #

Returns the constants and types defined by this type.


[View source]
def superclass : TypeNode | NilLiteral #

Returns the direct superclass of this type.


[View source]
def type_vars : Macros::ArrayLiteral(TypeNode) #

Returns the type variables of the generic type. If the type is not generic, an empty array is returned.


[View source]
def union? : BoolLiteral #

Returns true if this type is a union type, false otherwise.

See also: #union_types.


[View source]
def union_types : Macros::ArrayLiteral(TypeNode) #

Returns the types comforming a union type, if this is a union type. Gives a compile error otherwise.

See also: #union?.


[View source]