Searched refs:noSideEffectVoid (Results 1 – 3 of 3) sorted by relevance
9 noSideEffectVoid(); in main()14 public static void noSideEffectVoid() { in noSideEffectVoid() method in Assumenosideeffects
13 public static void noSideEffectVoid(...);