You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
17 lines
3.1 KiB
17 lines
3.1 KiB
codetoanalyze/java/purity/Localities.java, Localities$Counter.get_i_pure():int, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function int Localities$Counter.get_i_pure()]
|
|
codetoanalyze/java/purity/Localities.java, Localities$HasCounter.getCounter_pure():Localities$Counter, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function Localities$Counter Localities$HasCounter.getCounter_pure()]
|
|
codetoanalyze/java/purity/Localities.java, Localities.call_impure_with_fresh_args_pure():void, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function void Localities.call_impure_with_fresh_args_pure()]
|
|
codetoanalyze/java/purity/Localities.java, Localities.length_pure(java.util.ArrayList):int, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function int Localities.length_pure(ArrayList)]
|
|
codetoanalyze/java/purity/Localities.java, Localities.mkHC_pure(Localities$Counter):Localities$HasCounter, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function Localities$HasCounter Localities.mkHC_pure(Localities$Counter)]
|
|
codetoanalyze/java/purity/Localities.java, Localities.setFreshArrayEntry_pure(int,int):int[], 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function int[] Localities.setFreshArrayEntry_pure(int,int)]
|
|
codetoanalyze/java/purity/PurityModeled.java, PurityModeled$Color.valueOf(java.lang.String):PurityModeled$Color, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function PurityModeled$Color PurityModeled$Color.valueOf(String)]
|
|
codetoanalyze/java/purity/PurityModeled.java, PurityModeled$Color.values():PurityModeled$Color[], 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function PurityModeled$Color[] PurityModeled$Color.values()]
|
|
codetoanalyze/java/purity/PurityModeled.java, PurityModeled.arraycopy_pure(int[]):void, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function void PurityModeled.arraycopy_pure(int[])]
|
|
codetoanalyze/java/purity/PurityModeled.java, PurityModeled.clone_pure(java.util.ArrayList):void, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function void PurityModeled.clone_pure(ArrayList)]
|
|
codetoanalyze/java/purity/PurityModeled.java, PurityModeled.enum_iter_pure():void, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function void PurityModeled.enum_iter_pure()]
|
|
codetoanalyze/java/purity/Test.java, Test.call_pure_pure(int):void, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function void Test.call_pure_pure(int)]
|
|
codetoanalyze/java/purity/Test.java, Test.emptyList_impure_FP():java.util.ArrayList, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function ArrayList Test.emptyList_impure_FP()]
|
|
codetoanalyze/java/purity/Test.java, Test.local_alloc_pure(int,int):int, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function int Test.local_alloc_pure(int,int)]
|
|
codetoanalyze/java/purity/Test.java, Test.local_write_pure(int,int):int, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function int Test.local_write_pure(int,int)]
|
|
codetoanalyze/java/purity/Test.java, Test.parameter_field_access_pure(Test):int, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function int Test.parameter_field_access_pure(Test)]
|