fr.boreal.model.logicalElements.impl.identityObjects.IdentityLiteralImpl Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of integraal-model Show documentation

Main objects for integraal

The newest version!

package fr.boreal.model.logicalElements.impl.identityObjects;

import fr.boreal.model.logicalElements.api.Literal;

/**
 * Implementation of a Literal where the equality test is redefined to only test java object equality on reference.
 * 
 * It is recommended to use a factory to create these terms.
 *
 * @param  the native type of the Literal
 * @author Florent Tornil
 */
public record IdentityLiteralImpl(T value) implements Literal {

	@Override
	public String label() {
		return this.value.toString();
	}

	@Override
	public String toString() {
		return this.value.toString();
	}
}