Module: Idl::Rvalue

Included in:

ArrayLiteralAst, AryElementAccessAst, AryRangeAccessAst, BinaryExpressionAst, BitsCastAst, ConcatenationExpressionAst, CsrFieldReadExpressionAst, CsrFunctionCallAst, CsrReadExpressionAst, DontCareLvalueAst, DontCareReturnAst, EnumCastAst, EnumRefAst, FieldAccessExpressionAst, FunctionCallExpressionAst, IdAst, IntLiteralAst, ParenExpressionAst, ReplicationExpressionAst, SignCastAst, StringLiteralAst, TernaryOperatorExpressionAst, UnaryOperatorExpressionAst

Defined in:

lib/idl/ast.rb

Overview

interface for R-values (e.g., expressions that have a value)

Instance Method Summary

• #type(symtab) ⇒ Type abstract

  Given a specific symbol table, return the type of this node.

• #value(symtab) ⇒ Object abstract

  Return the compile-time-known value of the node.

• #values(symtab) ⇒ Array<Integer>, ...

  Return a complete list of possible compile-time-known values of the node, or raise a ValueError if the full list cannot be determined.

Instance Method Details

#type(symtab) ⇒ Type

This method is abstract.

Given a specific symbol table, return the type of this node.

Should not be called until #type_check is called with the same arguments

Parameters:

• symtab (SymbolTable) —

  Symbol table for lookup

Returns:

• (Type) —

  The type of the node

Raises:

• (AstNode::InternalError) —

  if the type is dependent on symtab, and type_check was not called first

# File 'lib/idl/ast.rb', line 479

def type(symtab) = raise NotImplementedError, "#{self.class.name} has no type"

#value(symtab) ⇒ Object

This method is abstract.

Return the compile-time-known value of the node

Raises:

• (NotImplementedError)

# File 'lib/idl/ast.rb', line 502

def value(symtab) = raise NotImplementedError, "#{self.class.name} must implement value(symtab)"

#values(symtab) ⇒ Array<Integer>, ...

Return a complete list of possible compile-time-known values of the node, or raise a ValueError if the full list cannot be determined

For most AstNodes, this will just be a single-entry array

Parameters:

• symtab (SymbolTable) —

  The context for the evaulation

Returns:

• (Array<Integer>) —

  The complete list of compile-time-known values, when they are integral

• (Array<Boolean>) —

  The complete list of compile-time-known values, when they are booleans

• (AstNode::ValueError) —

  if the list of values is not knowable at compile time

# File 'lib/idl/ast.rb', line 516

def values(symtab) = [value(symtab)]