LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

phantm:pure_statements [2010/05/04 15:21]
ekneuss created
phantm:pure_statements [2010/05/04 15:38] (current)
ekneuss
Line 5: Line 5:
   * the statement has no side effect   * the statement has no side effect
  
-''​phantm'' ​will detect a subset of those pure statements, and report them. The rationale is that such statements are useless and thus could be omitted. We argue that it is often the case that statements are pure by mistake, for instance %%$var == 2;%% (%%==%% instead of %%=%%).+//phantm// will detect a subset of those pure statements, and report them. The rationale is that such statements are useless and thus could be omitted. We argue that it is often the case that statements are pure by mistake, for instance %%$var == 2;%% (%%==%% instead of %%=%%).
  
 Note that some side effects are not taken into account. For example, the statement %%$undefined;​%% could be here to trigger a custom error handler resulting in some side effects. Such non-trivial side-effects are ignored. Note that some side effects are not taken into account. For example, the statement %%$undefined;​%% could be here to trigger a custom error handler resulting in some side effects. Such non-trivial side-effects are ignored.