Package de.monticore.types.check

Class SymTypeArray

java.lang.Object

de.monticore.types.check.SymTypeExpression

de.monticore.types.check.SymTypeArray

public class SymTypeArray
extends SymTypeExpression

Arrays of a certain dimension (>= 1)

Field Summary

Fields

Modifier and Type	Field	Description
protected SymTypeExpression	argument	An Array has an argument Type
protected int	dim	An arrayType has a dimension (>= 1)

Fields inherited from class de.monticore.types.check.SymTypeExpression

functionList, LOG_NAME, sourceInfo, typeSymbol

Constructor Summary

Constructors

Constructor	Description
SymTypeArray(TypeSymbol typeSymbol, int dim, SymTypeExpression argument)	Deprecated. TypeSymbul UND Expression: da ist was doppelt?
SymTypeArray(SymTypeExpression argument, int dim)

Method Summary

Modifier and Type	Method	Description
void	accept(ISymTypeVisitor visitor)
SymTypeArray	asArrayType()
SymTypeExpression	cloneWithLessDim(int n)	returns a clone, but with n dimensions less
SymTypeArray	deepClone()
boolean	deepEquals(SymTypeExpression sym)
SymTypeExpression	getArgument()
int	getDim()
boolean	isArrayType()	Am I an array?
void	setArgument(SymTypeExpression argument)
void	setDim(int dim)

Methods inherited from class de.monticore.types.check.SymTypeExpression

_internal_setSourceInfo, asFunctionType, asGenericType, asInferenceVariable, asIntersectionType, asNullType, asNumericWithSIUnitType, asObjectType, asObscureType, asPrimitive, asRegExType, asSIUnitType, asTupleType, asTypeVariable, asUnionType, asVoidType, asWildcard, getCorrectFields, getCorrectFields, getCorrectMethods, getCorrectMethods, getFieldList, getFieldList, getFieldList, getFieldList, getMethodList, getMethodList, getMethodList, getMethodList, getSourceInfo, getTypeInfo, hasTypeInfo, isFunctionType, isGenericType, isInferenceVariable, isIntersectionType, isNullType, isNumericWithSIUnitType, isObjectType, isObscureType, isPrimitive, isRegExType, isSIUnitType, isTupleType, isTypeVariable, isUnionType, isValidType, isVoidType, isWildcard, print, printAsJson, printFullName, replaceTypeVariables, transformFieldList, transformMethodList

Methods inherited from class java.lang.Object

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

Field Detail

dim

protected int dim

An arrayType has a dimension (>= 1)

argument

protected SymTypeExpression argument

An Array has an argument Type

Constructor Detail

SymTypeArray

@Deprecated
public SymTypeArray(TypeSymbol typeSymbol,
                    int dim,
                    SymTypeExpression argument)

Deprecated.

TypeSymbul UND Expression: da ist was doppelt?

Constructor

Parameters:

dim - dimension

argument - Argument Type

typeSymbol - loader for the Type-Symbol that defines this type

SymTypeArray

public SymTypeArray(SymTypeExpression argument,
                    int dim)

Method Detail

isArrayType

public boolean isArrayType()

Description copied from class: SymTypeExpression

Am I an array?

Overrides:

isArrayType in class SymTypeExpression

asArrayType

public SymTypeArray asArrayType()

Overrides:

asArrayType in class SymTypeExpression

getDim

public int getDim()

setDim

public void setDim(int dim)

cloneWithLessDim

public SymTypeExpression cloneWithLessDim(int n)

returns a clone, but with n dimensions less

getArgument

public SymTypeExpression getArgument()

setArgument

public void setArgument(SymTypeExpression argument)

deepClone

public SymTypeArray deepClone()

Overrides:

deepClone in class SymTypeExpression

deepEquals

public boolean deepEquals(SymTypeExpression sym)

Specified by:

deepEquals in class SymTypeExpression

accept

public void accept(ISymTypeVisitor visitor)

Overrides:

accept in class SymTypeExpression