SPeCS Packages Documentation
    Preparing search index...
    • Retrieves all variable references qualified as "volatile" starting from the given joinpoint

      Parameters

      Returns Varref[]

      Array of variable references qualified as volatile