Class ClassModifierChangePredicate

java.lang.Object

org.ek9lang.compiler.common.ClassModifierChangePredicate

public final class ClassModifierChangePredicate
extends Object

Decides whether a construct's modifier (as open / as abstract) may legally be toggled to a proposed state — the "declaration viability" of the modifier refactoring.

Supports classes, records, components, and functions. Uses the same symbol-table queries the compiler enforces (ICanBeGeneric.isOpenForExtension(), ISymbol.isMarkedAbstract(), IAggregateSymbol.getAllAbstractMethods()) so the predicate can never drift from what the compiler accepts.

Intended to be shared by the compiler-services MCP tools and the IDE Refactor menu.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	ClassModifierChangePredicate.Mode	The four modifier toggle modes.

Constructor Summary

Constructors

Constructor	Description
ClassModifierChangePredicate()

Method Summary

Modifier and Type	Method	Description
ClassModifierChangeViability	canChange(ISymbol symbol, ClassModifierChangePredicate.Mode mode)

Methods inherited from class Object

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

Constructor Details

ClassModifierChangePredicate

public ClassModifierChangePredicate()

Method Details

canChange

public ClassModifierChangeViability canChange(ISymbol symbol,
 ClassModifierChangePredicate.Mode mode)

Parameters:

symbol - the symbol whose modifier a change is proposed for

mode - the proposed change

Returns:

whether the change is structurally possible, with a reason when not