Shared: Undo changes to existing QLDoc.

This commit is contained in:
Geoffrey White
2024-02-21 17:29:35 +00:00
parent 2f1d4b923e
commit 5e401abccb
2 changed files with 19 additions and 27 deletions

View File

@@ -173,10 +173,7 @@ signature module InputSig {
* Represents a content approximation.
*/
class ContentApprox {
/**
* Gets a textual representation of this element.
* @return The textual representation of this element.
*/
/** Gets a textual representation of this element. */
string toString();
}

View File

@@ -245,12 +245,7 @@ signature module Semantic {
* Represents a phi node in the SSA form.
*/
class SsaPhiNode extends SsaVariable {
/**
* Holds if `inp` is an input to the phi node along the edge originating in `bb`.
* @param inp The input variable.
* @param bb The basic block.
* @return True if `inp` is an input to the phi node along the edge originating in `bb`, false otherwise.
*/
/** Holds if `inp` is an input to the phi node along the edge originating in `bb`. */
predicate hasInputFromBlock(SsaVariable inp, BasicBlock bb);
}