Package software.coley.sourcesolver.model

Class TypeModel.Array

java.lang.Object

software.coley.sourcesolver.model.AbstractModel

software.coley.sourcesolver.model.TypeModel

software.coley.sourcesolver.model.TypeModel.Array

All Implemented Interfaces:

Model

Enclosing class:

TypeModel

public static class TypeModel.Array
extends TypeModel

Nested Class Summary

Nested classes/interfaces inherited from class software.coley.sourcesolver.model.TypeModel

TypeModel.Array, TypeModel.Kind, TypeModel.NamedObject, TypeModel.Parameterized, TypeModel.Primitive, TypeModel.Union, TypeModel.Var, TypeModel.Wildcard

Constructor Summary

Constructors

Constructor	Description
Array(Range range, Model elementModel)

Method Summary

Modifier and Type	Method	Description
int	getDimensions()
TypeModel.Kind	getKind()
Model	getRootModel()
String	toString()

Methods inherited from class software.coley.sourcesolver.model.TypeModel

equals, getIdentifier, hashCode, newVar

Methods inherited from class software.coley.sourcesolver.model.AbstractModel

getChildren, getParent, getRange, resolveAt

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface software.coley.sourcesolver.model.Model

getChildAtPosition, getParentOfType, getRecursiveChildrenOfType, getSource, isChildOf, isParentOf, resolve, visit

Constructor Details

Array

public Array(@Nonnull
 Range range,
 @Nonnull
 Model elementModel)

Method Details

getDimensions

public int getDimensions()

getRootModel

@Nonnull
public Model getRootModel()

getKind

@Nonnull
public TypeModel.Kind getKind()

Specified by:

getKind in class TypeModel

toString

public String toString()

Overrides:

toString in class TypeModel