GReQL Regeln - Versionsgeschichte

Striewe: /* Beispiele für statische Prüfregeln für Java-Code */

2026-05-20T14:30:51Z

Beispiele für statische Prüfregeln für Java-Code

@@ Zeile 204: / Zeile 204: @@
 </syntaxhighlight>
 Diese Regel überprüft, ob Methode <code>m</code> rekursiv arbeitet und sich insbesondere ohne Zwischenschritte über andere Methoden selber wieder aufruft.
 === Methoden ===

Striewe: /* Einfache Inhalte */

2025-09-12T08:05:44Z

Einfache Inhalte

← Nächstältere Version		Version vom 12. September 2025, 08:05 Uhr
Zeile 60:		Zeile 60:
	m.name="m" and		m.name="m" and
	m -->{Child}* s and		m -->{Child}* s and
	~~stringLength~~(s.content) > 4		length(s.content) > 4
	report s.line as "line" end		report s.line as "line" end
	</query>		</query>

Striewe: /* Codestil */

2024-08-26T18:10:16Z

Codestil

← Nächstältere Version		Version vom 26. August 2024, 18:10 Uhr
Zeile 6:		Zeile 6:
	with		with
	x.name=capitalizeFirst(x.name) and		x.name=capitalizeFirst(x.name) and
	x.constructor~~="false"~~		not x.constructor
	report 0 end		report 0 end
	</query>		</query>

Mschypula am 10. Juli 2024 um 12:43 Uhr

2024-07-10T12:43:54Z

← Nächstältere Version		Version vom 10. Juli 2024, 12:43 Uhr
Zeile 590:		Zeile 590:
	Diese Regel testet, ob der Graph möglicherweise Zeichen bzw. Wörter besitzt die mehrere Funktionen/Events in einem Element verbinden.		Diese Regel testet, ob der Graph möglicherweise Zeichen bzw. Wörter besitzt die mehrere Funktionen/Events in einem Element verbinden.

	[[Category:R-GReQL]]		[[Category:R-GReQL]][[category:Benutzerhandbuch]]

Striewe: /* Klassendiagramme */

2024-03-21T10:15:02Z

Klassendiagramme

← Nächstältere Version		Version vom 21. März 2024, 10:15 Uhr
Zeile 479:		Zeile 479:
	<query>from x : V{Class}		<query>from x : V{Class}
	with		with
	isDefined(x.name) and x.name=A" and		isDefined(x.name) and x.name="A" and
	x.isAbstract and		x.isAbstract and
	not isEmpty(x <--&{Generalization})		not isEmpty(x <--&{Generalization})

RSchypula: Anpassung der Kantentypen auf JACK3 GReQL Regeln

2023-08-24T13:55:59Z

Anpassung der Kantentypen auf JACK3 GReQL Regeln

← Nächstältere Version		Version vom 24. August 2023, 13:55 Uhr
Zeile 225:		Zeile 225:
	with		with
	t.name="A" and		t.name="A" and
	t -->{~~TypeDeclarationBodyDeclarations2~~} m and		t -->{TypeDeclarationBodyDeclarations1} m and
	hasSignature(m, "int method()") and		hasSignature(m, "int method()") and
	isEmpty(m -->{Child}&{Modifier})		isEmpty(m -->{Child}&{Modifier})
Zeile 233:		Zeile 233:
	with		with
	t.name="A" and		t.name="A" and
	t -->{~~TypeDeclarationBodyDeclarations2~~} m and		t -->{TypeDeclarationBodyDeclarations1} m and
	hasSignature(m, "int method()") and		hasSignature(m, "int method()") and
	m --> mo and not (mo.name="private")		m --> mo and not (mo.name="private")
Zeile 248:		Zeile 248:
	with		with
	t.name="A" and		t.name="A" and
	t -->{~~TypeDeclarationBodyDeclarations2~~} m and		t -->{TypeDeclarationBodyDeclarations1} m and
	m.name="m" and		m.name="m" and
	m -->{MethodDeclarationReturnType} pt and		m -->{MethodDeclarationReturnType} pt and
	pt -->{ParameterizedTypeType} ptt and		pt -->{ParameterizedTypeType} ptt and
	ptt.name="B" and		ptt.name="B" and
	pt -->{~~ParameterizedTypeTypeArguments1~~} pta and		pt -->{ParameterizedTypeTypeArguments} pta and
	pta.name="C"		pta.name="C"
	report 0 end		report 0 end
Zeile 269:		Zeile 269:
	t.name="A" and		t.name="A" and
	st.name="B" and		st.name="B" and
	t -->{~~TypeDeclarationSuperclassType2~~} st		t -->{TypeDeclarationSuperclassType} st
	report 0 end		report 0 end
	</query>		</query>
Zeile 282:		Zeile 282:
	with		with
	t.name="A" and		t.name="A" and
	t -->{~~TypeDeclarationSuperInterfaceTypes2~~} st and		t -->{TypeDeclarationSuperInterfaceTypes} st and
	st.name="B"		st.name="B"
	report 0 end		report 0 end
Zeile 296:		Zeile 296:
	with		with
	t.name="A" and		t.name="A" and
	t -->{~~TypeDeclarationSuperInterfaceTypes1~~} pt and		t -->{TypeDeclarationSuperInterfaceTypes} pt and
	pt -->{ParameterizedTypeType} ptt and		pt -->{ParameterizedTypeType} ptt and
	ptt.name="B" and		ptt.name="B" and
	pt -->{~~ParameterizedTypeTypeArguments1~~} pta and		pt -->{ParameterizedTypeTypeArguments} pta and
	pta.name="C"		pta.name="C"
	report 0 end		report 0 end
Zeile 312:		Zeile 312:
	<query>from u : V{TypeDeclaration}, s : V{SimpleType}		<query>from u : V{TypeDeclaration}, s : V{SimpleType}
	with		with
	((u -->{~~TypeDeclarationSuperclassType2~~} s and s.name="Thread") or		((u -->{TypeDeclarationSuperclassType} s and s.name="Thread") or
	(u -->{~~TypeDeclarationSuperInterfaceTypes2~~} s and s.name="Runnable")) and		(u -->{TypeDeclarationSuperInterfaceTypes} s and s.name="Runnable")) and
	u.name="A"		u.name="A"
	report 0 end		report 0 end

RSchypula: /* Methoden */

2023-08-24T13:45:10Z

Methoden

← Nächstältere Version		Version vom 24. August 2023, 13:45 Uhr
Zeile 206:		Zeile 206:

	=== Methoden ===		=== Methoden ===
	<syntaxhighlight lang="xml" line=~~'line'~~>		<syntaxhighlight lang="xml" line="1">
	<rule type="presence" points="4">		<rule type="presence" points="4">
	<query>from t : V{TypeDeclaration}, m : V{MethodDeclaration}		<query>from t : V{TypeDeclaration}, m : V{MethodDeclaration}
	with		with
	t.name="A" and		t.name="A" and
	t -->{~~TypeDeclarationBodyDeclarations2~~} m and		t -->{TypeDeclarationBodyDeclarations1} m and
	hasSignature(m, "public static String method(int)")		hasSignature(m, "public static String method(int)")
	report 0 end		report 0 end

Striewe: /* Codestil */

2023-07-12T06:43:09Z

Codestil

← Nächstältere Version		Version vom 12. Juli 2023, 06:43 Uhr
Zeile 31:		Zeile 31:
	with		with
	x.name=capitalizeFirst(x.name) and		x.name=capitalizeFirst(x.name) and
	isEmpty(from m : V{Modifier} with x ~~<nowiki>~~&~~amp;~~lt;--&~~amp;~~amp;{FieldDeclaration} --~~&gt;</nowiki~~> m and m.name="final" report m end)		isEmpty(from m : V{Modifier} with x <--&{FieldDeclaration} --> m and m.name="final" report m end)
	report 0 end		report 0 end
	</query>		</query>

Striewe: /* Beispiele für statische Prüfregeln für UML-Modelle im XMI2-Format */

2023-07-12T06:41:15Z

Beispiele für statische Prüfregeln für UML-Modelle im XMI2-Format

← Nächstältere Version		Version vom 12. Juli 2023, 06:41 Uhr
Zeile 377:		Zeile 377:
	<query>from x,y : V{Class}		<query>from x,y : V{Class}
	with		with
	x --> V{Property} --> V{Association} <-- V{Property} <-- y and		x --> V{Property} --> V{Association} <-- V{Property} <-- y and
	isDefined(x.name) and x.name="A" and		isDefined(x.name) and x.name="A" and
	isDefined(y.name) and y.name="B"		isDefined(y.name) and y.name="B"
Zeile 391:		Zeile 391:
	<query>from x,y : V{Class}		<query>from x,y : V{Class}
	with		with
	x --> V{Property} --> V{Association} <-- V{Property} <-- y and		x --> V{Property} --> V{Association} <-- V{Property} <-- y and
	isDefined(x.name) and x.name="A" and		isDefined(x.name) and x.name="A" and
	isDefined(y.name) and y.name="B"		isDefined(y.name) and y.name="B"
Zeile 406:		Zeile 406:
	with		with
	x --> z and		x --> z and
	z --> V{Association} <-- V{Property} <-- y and		z --> V{Association} <-- V{Property} <-- y and
	isDefined(x.name) and x.name="A" and		isDefined(x.name) and x.name="A" and
	isDefined(y.name) and y.name="B" and		isDefined(y.name) and y.name="B" and
Zeile 421:		Zeile 421:
	<query>from a,b : V{Class}, p: V{Property}		<query>from a,b : V{Class}, p: V{Property}
	with		with
	isEmpty(a -->&{Property} -->&{Association}) and		isEmpty(a -->&{Property} -->&{Association}) and
	b --> p and		b --> p and
	isDefined(p.aggregation) and p.aggregation="composite"		isDefined(p.aggregation) and p.aggregation="composite"
Zeile 453:		Zeile 453:
	isDefined(x.name) and x.name="A" and		isDefined(x.name) and x.name="A" and
	x --> y and		x --> y and
	isDefined(y.name) and stringLevenshteinDistance(y.name, "ausführen")<3 and		isDefined(y.name) and stringLevenshteinDistance(y.name, "ausführen")<3 and
	y --> z		y --> z
	report 1 end		report 1 end
Zeile 467:		Zeile 467:
	from x : set(1)		from x : set(1)
	with		with
	c<>7		c<>7
	report c as "count" end		report c as "count" end
	</query>		</query>
Zeile 481:		Zeile 481:
	isDefined(x.name) and x.name=A" and		isDefined(x.name) and x.name=A" and
	x.isAbstract and		x.isAbstract and
	not isEmpty(x <--&{Generalization})		not isEmpty(x <--&{Generalization})
	report 1 end		report 1 end
	</query>		</query>

Christoph.Olbricht am 16. Februar 2023 um 08:33 Uhr

2023-02-16T08:33:11Z

@@ Zeile 77: / Zeile 77: @@
 </syntaxhighlight>
 Diese Regel sucht nach Paketdefinitionen und meldet diese als Fehler.
 <syntaxhighlight lang="xml" line='line'>