mirror of
https://github.com/github/codeql.git
synced 2025-12-23 20:26:32 +01:00
C++: autoformat
This commit is contained in:
@@ -15,7 +15,7 @@ private import semmle.code.cpp.Location // TODO: SemLocation?
|
|||||||
class SemBound instanceof Specific::Bound {
|
class SemBound instanceof Specific::Bound {
|
||||||
final string toString() { result = super.toString() }
|
final string toString() { result = super.toString() }
|
||||||
|
|
||||||
final Location getLocation() {result = super.getLocation() }
|
final Location getLocation() { result = super.getLocation() }
|
||||||
|
|
||||||
final SemExpr getExpr(int delta) { result = Specific::getBoundExpr(this, delta) }
|
final SemExpr getExpr(int delta) { result = Specific::getBoundExpr(this, delta) }
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -230,7 +230,9 @@ signature module UtilSig<DeltaSig DeltaParam> {
|
|||||||
signature module BoundSig<DeltaSig D> {
|
signature module BoundSig<DeltaSig D> {
|
||||||
class SemBound {
|
class SemBound {
|
||||||
string toString();
|
string toString();
|
||||||
|
|
||||||
Location getLocation();
|
Location getLocation();
|
||||||
|
|
||||||
SemExpr getExpr(D::Delta delta);
|
SemExpr getExpr(D::Delta delta);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user