ISAQuery Klasse

Abstrakte Basisklasse für alle Knoten in der ISA-Enumerationsstruktur.

Enumerationsknoten definieren die Struktur des Suchbereichs für ISAs beginnend mit Architekturen und geändert von ISA-Transformationen, z. B. Fehlerkorrekturschemas. Sie können mithilfe von Operatoren wie + (Summe) und * (Produkt) zusammengesetzt werden, um komplexe Enumerationsstrategien zu erstellen.

Konstruktor

ISAQuery()

Methoden

bind

Erstellen Sie einen BindingNode mit diesem Knoten als Komponente.

Beispiel:

enumerate

Gibt alle ISA-Instanzen zurück, die durch diesen Enumerationsknoten dargestellt werden.

populate

Füllen Sie das Provenienzdiagramm mit Anweisungen aus diesem Knoten auf.

Im Gegensatz dazu enumerateliefert dies keine ISA-Objekte. Jede Transformation fragt das Diagramm nach Pareto-optimalen Anweisungen ab, die ihren Anforderungen entsprechen, und fügt dem Diagramm erstellte Anweisungen direkt hinzu.

bind

Erstellen Sie einen BindingNode mit diesem Knoten als Komponente.

Beispiel:

bind(name: str, node: ISAQuery) -> _BindingNode

Parameter

Name Beschreibung
name
Erforderlich

Der Name, an den die Komponente gebunden werden soll.

node
Erforderlich

Der untergeordnete Enumerationsknoten, der ISARefNodes enthalten kann.

Gibt zurück

Typ Beschreibung

Ein BindingNode mit selbst als Komponente.

enumerate

Gibt alle ISA-Instanzen zurück, die durch diesen Enumerationsknoten dargestellt werden.

abstract enumerate(ctx: ISAContext) -> Generator[ISA, None, None]

Parameter

Name Beschreibung
ctx
Erforderlich

Der Enumerationskontext, der den freigegebenen Zustand enthält, z. B. Zugriff auf die zugrunde liegende Architektur.

populate

Füllen Sie das Provenienzdiagramm mit Anweisungen aus diesem Knoten auf.

Im Gegensatz dazu enumerateliefert dies keine ISA-Objekte. Jede Transformation fragt das Diagramm nach Pareto-optimalen Anweisungen ab, die ihren Anforderungen entsprechen, und fügt dem Diagramm erstellte Anweisungen direkt hinzu.

populate(ctx: ISAContext) -> int

Parameter

Name Beschreibung
ctx
Erforderlich

Der Enumerationskontext, dessen Provenienzdiagramm ausgefüllt wird.

Gibt zurück

Typ Beschreibung
int

Der Startknotenindex der Anweisungen, die von dieser Unterstruktur beigetragen wurden. Wird von Consumern zum Bereich von Diagrammabfragen verwendet, um nur die Knoten ihrer Quelle anzuzeigen.