VarUse 

/** * A ControlFlowNode that uses a single RefExpr. */

Inherit from ControlFlowNode

Primary key: id: int

schema VarUse extends ControlFlowNode { @primary id: int }

VarUse::getRelativePath 

/** * Get the relative path of this control flow node. */
  • Parameter self: VarUse
  • Return string
pub fn getRelativePath(self: VarUse) -> string;

VarUse::getDefinedByLValue 

/** * Gets the LValue nodes that can define this use node. */ 
pub fn getDefinedByLValue(self: VarUse) -> *LValue;

VarUse::getPredecessorCount 

/** * Get the count of immediate predecessor nodes/ */
  • Parameter self: VarUse
  • Return int
pub fn getPredecessorCount(self: VarUse) -> int;

VarUse::nearestLocalDefinedLValue 

/** * Gets the neareast LValue that defines current use node in same BB. */ 
pub fn nearestLocalDefinedLValue(self: VarUse) -> LValue;

VarUse::getLocation 

/** * Get the location of this control flow node. */ 
pub fn getLocation(self: VarUse) -> Location;

VarUse::existNearestLocalDefinedLValue 

/** * Determine whether there exists a neareast LValue that defines current use node in same BB. */
  • Parameter self: VarUse
  • Return bool
pub fn existNearestLocalDefinedLValue(self: VarUse) -> bool;

VarUse::getKindName 

/** * Get the kind name of node. * If node is ast node, just return ast node kind name; otherwise * return node name as CfgEntryNode or CfgExitNode. */
  • Parameter self: VarUse
  • Return string
pub fn getKindName(self: VarUse) -> string;

VarUse::isExitNode

  • Parameter self: VarUse
  • Return bool
pub fn isExitNode(self: VarUse) -> bool;

VarUse::getSuccessorCount 

/** * Get the count of immediate successor nodes. */
  • Parameter self: VarUse
  • Return int
pub fn getSuccessorCount(self: VarUse) -> int;

VarUse::getADef 

/** * Gets VarDef site. */ 
pub fn getADef(self: VarUse) -> *ControlFlowNode;

VarUse::__all__

Data constraint method.

pub fn __all__(db: JavascriptDB) -> *VarUse;

VarUse::getASuccessor 

/** * Get an immediate successor of this node. */ 
pub fn getASuccessor(self: VarUse) -> *ControlFlowNode;

VarUse::getDefinedByLValueRecursive 

pub fn getDefinedByLValueRecursive(self: VarUse) -> *LValue;

VarUse::getBasicBlock 

/** * Get the basic block that contains this node. */ 
pub fn getBasicBlock(self: VarUse) -> BasicBlock;

VarUse::isAstNode

  • Parameter self: VarUse
  • Return bool
pub fn isAstNode(self: VarUse) -> bool;

VarUse::getAPredecessor 

/** * Get an immediate predecessor of this node. */ 
pub fn getAPredecessor(self: VarUse) -> *ControlFlowNode;

VarUse::getASuccessorRecursive 

/** * Gets the successor of this node, and query successors recursively */ 
pub fn getASuccessorRecursive(self: VarUse) -> *ControlFlowNode;

VarUse::getText 

/** * Get the text of this control flow node. */
  • Parameter self: VarUse
  • Return string
pub fn getText(self: VarUse) -> string;

VarUse::isEntryNode

  • Parameter self: VarUse
  • Return bool
pub fn isEntryNode(self: VarUse) -> bool;

VarUse::getASuccessorWithCompletion 

/** * Get an immediate successor of this node with the given * type of Completion. */ 
pub fn getASuccessorWithCompletion(self: VarUse, c: Completion) -> *ControlFlowNode;

VarUse::isSyntheticNode

  • Parameter self: VarUse
  • Return bool
pub fn isSyntheticNode(self: VarUse) -> bool;

VarUse::getADefRecursive 

pub fn getADefRecursive(self: VarUse) -> *ControlFlowNode;

VarUse::getEnclosingFunction 

/** * Get the enclosing function of node. * CfgEntryNode or CfgExitNode return belongs to function. */ 
pub fn getEnclosingFunction(self: VarUse) -> FunctionLikeDeclaration;

VarUse::getFile 

/** * Get the file of this control flow node. */ 
pub fn getFile(self: VarUse) -> File;