Class LeftOutOfHash

java.lang.Object

org.ek9lang.compiler.support.LeftOutOfHash

All Implemented Interfaces:

BiPredicate<IAggregateSymbol, ISymbol>

public final class LeftOutOfHash
extends Object
implements BiPredicate<IAggregateSymbol, ISymbol>

THE "must a generated #? on this type leave this field out?" - the reading of phase 5's property-cycle marks (phase5/PropertyCycleMarker) for the hash (Contract 13). True for a field of a cyclic type (HasPropertyCycle) that can lead back to an object of that type; the hash is then a subset of what == compares, so equal graphs (even co-inductively equal cycles) hash alike, and it never recurses round the loop. Hold one and ask it - never the squirrelled data directly.

Constructor Summary

Constructors

Constructor	Description
LeftOutOfHash()

Method Summary

Modifier and Type	Method	Description
boolean	test(IAggregateSymbol owner, ISymbol field)	Must a generated #? on this type leave this field out?

Methods inherited from class Object

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

Methods inherited from interface BiPredicate

and, negate, or

Constructor Details

LeftOutOfHash

public LeftOutOfHash()

Method Details

test

public boolean test(IAggregateSymbol owner,
 ISymbol field)

Must a generated #? on this type leave this field out?

Specified by:

test in interface BiPredicate<IAggregateSymbol, ISymbol>

Parameters:

owner - the aggregate the generated operator belongs to

field - one of its fields