Self (EASy-Producer Documentation API)

java.lang.Object
- net.ssehub.easy.varModel.cst.ConstraintSyntaxTree
- - net.ssehub.easy.varModel.cst.Leaf
  - - net.ssehub.easy.varModel.cst.Self

All Implemented Interfaces:

IAttributeAccess
```
public class Self
extends Leaf
```
Represents the a compound itself (for constraints within compounds). Self must be replaced accordingly, e.g., by all-quantification.

Author:

Holger Eichelberger

Field Summary

Fields
Modifier and Type Field Description

private Compound type

Constructor Summary

Constructors
Constructor Description

Self()
Constructor for serialization.

Self(Compound type)
Creates a self constant for type.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`accept(IConstraintTreeVisitor visitor)`	Visiting method for the visitor.
`IDatatype`	`getType()`	Returns the type (without exception throwing).
`IDatatype`	`inferDatatype()`	Infers the datatype of the subtree represented by this object.

Methods inherited from class net.ssehub.easy.varModel.cst.ConstraintSyntaxTree
getAttribute, getAttribute, getAttributesCount, getContainedType, getName, getParent, isSemanticallyEqual

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - type
```
private Compound type
```
- Constructor Detail
  - Self
```
Self()
```
    Constructor for serialization.
  - Self
```
public Self(Compound type)
```
    Creates a self constant for type.
    
    Parameters:
    
    type - the actual type of this self leaf
- Method Detail
  - accept
```
public void accept(IConstraintTreeVisitor visitor)
```
    Description copied from class: ConstraintSyntaxTree
    
    Visiting method for the visitor.
    This method is used for saving this model element.
    
    Specified by:
    
    accept in class ConstraintSyntaxTree
    
    Parameters:
    
    visitor - The visitor, which should save this model element.
  - inferDatatype
```
public IDatatype inferDatatype()
                        throws CSTSemanticException
```
    Description copied from class: ConstraintSyntaxTree
    
    Infers the datatype of the subtree represented by this object.
    
    Specified by:
    
    inferDatatype in class ConstraintSyntaxTree
    
    Returns:
    
    the data type
    
    Throws:
    
    CSTSemanticException - Will be thrown if parameters of (sub-) trees do not fit together.
  - getType
```
public IDatatype getType()
```
    Returns the type (without exception throwing).
    
    Returns:
    
    the type of "self"