Class TypePropagation

java.lang.Object

com.soulfiremc.server.script.TypePropagation

public final class TypePropagation
extends Object

Forward type propagation through generic and ANY ports to detect type mismatches. Supports TypeDescriptor-based inference with type variable unification.

Method Summary

Modifier and Type	Method	Description
static List<ScriptGraph.ValidationDiagnostic>	analyze(Map<String, ScriptGraph.GraphNode> nodes, List<ScriptGraph.GraphEdge> edges)	Analyzes type flow through ports and returns diagnostics for mismatches.

Methods inherited from class Object

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

Method Details

analyze

public static List<ScriptGraph.ValidationDiagnostic> analyze(Map<String, ScriptGraph.GraphNode> nodes,
 List<ScriptGraph.GraphEdge> edges)

Analyzes type flow through ports and returns diagnostics for mismatches. Uses TypeDescriptor unification for generic type inference.