Class cfgEdgeType

constructor

• new cfgEdgeType(name): cfgEdgeType

• Creates a new instance of the CfgEdgeType class

  Parameters

  • name: string

    The name of the CFG edge type

  Returns cfgEdgeType

StaticFALSE

StaticTRUE

StaticUNCONDITIONAL

name

• get name(): string

• Returns string

  The name of the CFG edge type

toString

• toString(): string

• Returns string

  String representation of the CFG edge type, which corresponds to its name