mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
16 lines
218 B
Plaintext
16 lines
218 B
Plaintext
/**
|
|
* @name Test for exactly one body per source method
|
|
*/
|
|
|
|
import csharp
|
|
|
|
where
|
|
forall(Method m |
|
|
m.fromSource() and
|
|
not m.isAbstract() and
|
|
not m.isExtern()
|
|
|
|
|
count(m.getBody()) = 1
|
|
)
|
|
select 1
|