zserio.ast

Class ParameterizedTypeInstantiation.InstantiatedParameter

java.lang.Object

zserio.ast.ParameterizedTypeInstantiation.InstantiatedParameter

Enclosing class:

ParameterizedTypeInstantiation

public static final class ParameterizedTypeInstantiation.InstantiatedParameter
extends java.lang.Object

Class describing one parameter in a type instantiation.

Constructor Summary

Constructors

Constructor and Description
InstantiatedParameter(Expression argumentExpression, Parameter parameter) Constructor from argument expression and parameter.

Method Summary

Modifier and Type	Method and Description
Expression	getArgumentExpression() Gets the argument expression.
Parameter	getParameter() Gets the parameter as used in the definition of the parameterized compound type.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InstantiatedParameter

public InstantiatedParameter(Expression argumentExpression,
                             Parameter parameter)

Constructor from argument expression and parameter.

Parameters:

argumentExpression - Argument expression used for parameter instantiation.

parameter - The parameter as used in the definition of the parameterized compound type.

Method Detail

getArgumentExpression

public Expression getArgumentExpression()

Gets the argument expression.

Returns:

The expression used for parameter instantiation.

getParameter

public Parameter getParameter()

Gets the parameter as used in the definition of the parameterized compound type.

Returns:

The parameter that is instantiated.