ExistentialDeclaration (Jadex Active Component Platform 4.0.181 API)

java.lang.Object
- jadex.rules.parser.conditions.javagrammar.Expression
- - jadex.rules.parser.conditions.javagrammar.ExistentialDeclaration

```
public class ExistentialDeclaration
extends Expression
```
Demand the existence of an object and bind an instance to a variable.

Field Summary

Fields
Modifier and Type Field Description

protected OAVObjectType type
The object type.

protected Variable variable
The variable.

Constructor Summary

Constructors
Constructor Description

ExistentialDeclaration(OAVObjectType type, Variable variable)
Create a new existential declaration.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`containsVariable(Variable var)`	Test if a variable is contained in the expression.
`boolean`	`equals(java.lang.Object o)`	Test if this object is equal to some object.
`OAVObjectType`	`getType()`	Get the object type.
`Variable`	`getVariable()`	Get the variable.
`int`	`hashCode()`	Get the hash code.
`java.lang.String`	`toString()`	Get a string representation of this existential declaration.

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

- Field Detail
  - type
```
protected OAVObjectType type
```
    The object type.
  - variable
```
protected Variable variable
```
    The variable.
- Constructor Detail
  - ExistentialDeclaration
```
public ExistentialDeclaration(OAVObjectType type,
                              Variable variable)
```
    Create a new existential declaration.
    
    Parameters:
    
    type - The object type.
    
    variable - The variable.
- Method Detail
  - containsVariable
```
public boolean containsVariable(Variable var)
```
    Test if a variable is contained in the expression.
    
    Specified by:
    
    containsVariable in class Expression
    
    Parameters:
    
    var - The variable.
    
    Returns:
    
    True, when the variable is contained.
  - getVariable
```
public Variable getVariable()
```
    Get the variable.
  - getType
```
public OAVObjectType getType()
```
    Get the object type.
  - toString
```
public java.lang.String toString()
```
    Get a string representation of this existential declaration.
    
    Overrides:
    
    toString in class java.lang.Object
  - equals
```
public boolean equals(java.lang.Object o)
```
    Test if this object is equal to some object.
    
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Get the hash code.
    
    Overrides:
    
    hashCode in class java.lang.Object