Class NormalisedRelationalOperator

java.lang.Object

org.ek9lang.compiler.support.operators.NormalisedRelationalOperator

All Implemented Interfaces:

Function<String,String>, UnaryOperator<String>

public final class NormalisedRelationalOperator
extends Object
implements UnaryOperator<String>

THE normalisation of a relational operator glyph, shared by every analysis that reads one - the symbolic engine's guards and constraints, require preconditions, and the flow analysis's symbolic path conditions. The relational set only: > >= < <= == and inequality as <>. Hold one and apply it.

Constructor Summary

Constructors

Constructor	Description
NormalisedRelationalOperator()

Method Summary

Modifier and Type	Method	Description
String	apply(String glyph)	The normalised relational operator.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Function

andThen, compose

Constructor Details

NormalisedRelationalOperator

public NormalisedRelationalOperator()

Method Details

apply

public String apply(String glyph)

The normalised relational operator.

Specified by:

apply in interface Function<String,String>

Parameters:

glyph - the operator's source text

Returns:

the normalised operator, or null when it is not a modelled relational comparison