Interface PropertyTypeGraph.TypeUniverse

Enclosing class:

PropertyTypeGraph

public static interface PropertyTypeGraph.TypeUniverse

The two whole-program facts the graph needs: the concrete subtypes of a type, and every aggregate. Phase 5 answers both from the one shared ConcreteSubtypeFinder (the constructor that takes one); a test may answer them from symbols it built by hand.

Method Summary

Modifier and Type	Method	Description
List<? extends IAggregateSymbol>	allAggregates()	Every aggregate in the program.
List<? extends IAggregateSymbol>	concreteSubtypesOf(IAggregateSymbol type)	Every concrete aggregate that extends or implements the type, transitively.

Method Details

concreteSubtypesOf

List<? extends IAggregateSymbol> concreteSubtypesOf(IAggregateSymbol type)

Every concrete aggregate that extends or implements the type, transitively.

allAggregates

List<? extends IAggregateSymbol> allAggregates()

Every aggregate in the program.