Universe::UniverseJavaIntensionConstraint class
#include <UniverseJavaIntensionConstraint.hpp>

Contents

The UniverseJavaIntensionConstraint defines an adapter for a Java implementation of an intension constraint.

Base classes

class IUniverseIntensionConstraint

Public static functions

static auto newInstance(easyjni::JavaObject jConstraint) -> Universe::IUniverseIntensionConstraint*

Constructors, destructors, conversion operators

~UniverseJavaIntensionConstraint() defaulted override

Public functions

auto operator*() -> easyjni::JavaObject
void accept(Universe::IUniverseIntensionConstraintVisitor* visitor) override

Function documentation

static Universe::IUniverseIntensionConstraint* Universe::UniverseJavaIntensionConstraint::newInstance(easyjni::JavaObject jConstraint)

Parameters
jConstraint The Java object to adapt to an IUniverseIntensionConstraint.
Returns The created intension constraint.

Creates a new instance of UniverseJavaIntensionConstraint.

Universe::UniverseJavaIntensionConstraint::~UniverseJavaIntensionConstraint() override defaulted

Destroys this UniverseJavaIntensionConstraint.

easyjni::JavaObject Universe::UniverseJavaIntensionConstraint::operator*()

Returns The adapted Java object.

The Java object that is adapted as an IUniverseIntensionConstraint.

void Universe::UniverseJavaIntensionConstraint::accept(Universe::IUniverseIntensionConstraintVisitor* visitor) override

Parameters
visitor The visitor to accept.

Accepts an IUniverseIntensionConstraintVisitor.