Global Function of coref.cfamily.gdl

branchingStatement

pub fn branchingStatement(s: Statement) -> bool;

findClassByType

  • Parameter t: Type
  • Parameter c: Class
  • Return bool
pub fn findClassByType(t: Type, c: Class) -> bool;

inheritedDependency

/**
* @brief Represents the inherite relationship between classes.
*/
  • Parameter c: Class
  • Parameter subClass: Class
  • Return bool
pub fn inheritedDependency(c: Class, subClass: Class) -> bool;

callerDependency

/**
* @brief Represents the calling relationship between classes.
*/
  • Parameter c: Class
  • Parameter callerClass: Class
  • Return bool
pub fn callerDependency(c: Class, callerClass: Class) -> bool;

branchingSwitchCase

// )
pub fn branchingSwitchCase(sc: SwitchCase) -> bool;

branchingExpression

// TODO missing `?`, `&&`, and `||`
pub fn branchingExpression(expr: Expression) -> bool;

dependencyCheck

/**
* @brief Class dependency check.
*/
  • Parameter c: Class
  • Parameter depClass: Class
  • Parameter depType: string
  • Return bool
pub fn dependencyCheck(c: Class, depClass: Class, depType: string) -> bool;

referencedDependency

/**
* @brief Represents the reference relationship between classes.
*/
  • Parameter c: Class
  • Parameter refClass: Class
  • Return bool
pub fn referencedDependency(c: Class, refClass: Class) -> bool;