The type.py module

Summary

Classes

TypeTree

Provides the top-level abstract class for type trees.

Functions

create_sized	Get the type tree for a sized type.
create_structure	Get the type tree for a structure.
create_table	Get the type tree for a structure.

Constants

TT	Short name for a TypeTree instance to simplify the declarations.
TX	Extended type tree to simply the use of the create functions.

Description

Provide helpers for creating type trees.

Expression trees are intermediate structures to declare any arbitrary complex types. They create the corresponding SCADE Suite type in the context of a model element, such as the type of a constant.

This module provides functions to create a type tree for any type of the Scade language. Thus, the intermediate structures or classes defining the type trees can be opaque.

Notes: The typing is relaxed in this module to ease the constructs.

• TT is an alias for TypeTree to shorten the declarations.

• TX, which stands for extended type tree, is defined as follows:

  Union[str, suite.Type, TT]
  

  This enhances the usability of these functions by accepting some values, such as existing types or name of predefined types, as valid type trees.

Module detail

type.TT

Short name for a TypeTree instance to simplify the declarations.

type.TX

Extended type tree to simply the use of the create functions.