Skip to content

Commit 13347cd

Browse files
committed
C#: Add Ql docs to synthetic fields.
1 parent 9f4b965 commit 13347cd

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2040,9 +2040,11 @@ predicate allowParameterReturnInSelf(ParameterNode p) {
20402040
FlowSummaryImpl::Private::summaryAllowParameterReturnInSelf(p)
20412041
}
20422042

2043+
/** A synthetic field. */
20432044
abstract class SyntheticField extends string {
20442045
bindingset[this]
20452046
SyntheticField() { any() }
20462047

2048+
/** Gets the type of this synthetic field. */
20472049
Type getType() { result instanceof ObjectType }
20482050
}

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPublic.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -224,11 +224,13 @@ class FieldContent extends Content, TFieldContent {
224224
deprecated override Gvn::GvnType getType() { result = Gvn::getGlobalValueNumber(f.getType()) }
225225
}
226226

227+
/** A reference to a synthetic field. */
227228
class SyntheticFieldContent extends Content, TSyntheticFieldContent {
228229
private SyntheticField f;
229230

230231
SyntheticFieldContent() { this = TSyntheticFieldContent(f) }
231232

233+
/** Gets the underlying synthetic field. */
232234
SyntheticField getField() { result = f }
233235

234236
override string toString() { result = "synthetic " + f.toString() }

0 commit comments

Comments
 (0)