| /arkcompiler/ets_frontend/ets2panda/linter/arkanalyzer/src/core/dataflow/ |
| D | DataflowResult.ts | 17 import { Fact } from './Fact';
20 stmt2InFacts: Map<Stmt, Fact> = new Map<Stmt, Fact>();
21 stmt2OutFacts: Map<Stmt, Fact> = new Map<Stmt, Fact>();
24 globalFacts: Set<Fact> = new Set<Fact>();
|
| D | DataflowSolver.ts | 73 if (pathEdge.edgeEnd.node === stmt && pathEdge.edgeEnd.fact === d) {
164 this.problem.factEqual(path.edgeEnd.fact, edge.edgeEnd.fact);
167 this.problem.factEqual(path.edgeEnd.fact, edge.edgeEnd.fact) &&
169 this.problem.factEqual(path.edgeStart.fact, edge.edgeStart.fact)
215 for (let fact of returnFlowFunc.getDataFacts(exitEdgePoint.fact)) { variable
216 let returnSitePoint: PathEdgePoint<D> = new PathEdgePoint<D>(returnSite, fact);
220 ….edgeStart === callEdgePoint && sEdge.edgeEnd.node === returnSite && sEdge.edgeEnd.fact === fact) {
244 let set: Set<D> = flowFunction.getDataFacts(end.fact);
245 for (let fact of set) { variable
246 let edgePoint: PathEdgePoint<D> = new PathEdgePoint<D>(stmt, fact);
[all …]
|
| D | Edge.ts | 20 public fact: D; property in PathEdgePoint
22 constructor(node: Stmt, fact: D) {
24 this.fact = fact;
|
| D | Fact.ts | 19 export class Fact { class
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/rules/ |
| D | rule149.ets | 68 let fact = SomethingFactory.getInstance();
70 let x1 = fact.create1(SomethingFoo).beep();
71 let x2 = fact.create1(SomethingBar).beep();
72 let x3 = fact.create1(NS.SomethingFoo).beep();
74 let x4 = fact.create2({ o: SomethingFoo });
75 let x5 = fact.create2({ o: SomethingBar });
76 let x6 = fact.create2({ o: NS.SomethingFoo });
78 let x7 = fact.create3(() => SomethingFoo);
79 let x8 = fact.create4(() => SomethingFoo);
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/main/ |
| D | class_as_object.ets | 68 let fact = SomethingFactory.getInstance();
70 let x1 = fact.create1(SomethingFoo).beep();
71 let x2 = fact.create1(SomethingBar).beep();
72 let x3 = fact.create1(NS.SomethingFoo).beep();
74 let x4 = fact.create2({ o: SomethingFoo });
75 let x5 = fact.create2({ o: SomethingBar });
76 let x6 = fact.create2({ o: NS.SomethingFoo });
78 let x7 = fact.create3(() => SomethingFoo);
79 let x8 = fact.create4(() => SomethingFoo);
|
| /arkcompiler/ets_frontend/ets2panda/test/ast/compiler/ets/ |
| D | explicit_cast_boxed_expressions.ets | 47 return false; // in fact CTE
81 return false; // in fact CTE
113 return false; // in fact CTE
146 return false; // in fact CTE
178 return false; // in fact CTE
209 return false; // in fact CTE
240 return false; // in fact CTE
|
| D | implicit_cast_boxed_expressions.ets | 55 return false; // in fact CTE
96 return false; // in fact CTE
142 return false; // in fact CTE
182 return false; // in fact CTE
221 return false; // in fact CTE
260 // return false; // in fact CTE
300 // return false; // in fact CTE
|
| /arkcompiler/ets_frontend/ets2panda/test/runtime/ets/ |
| D | explicit_cast_boxed_expressions.ets | 47 return false; // in fact CTE
81 return false; // in fact CTE
113 return false; // in fact CTE
146 return false; // in fact CTE
178 return false; // in fact CTE
209 return false; // in fact CTE
240 return false; // in fact CTE
|
| D | implicit_cast_boxed_expressions.ets | 55 return false; // in fact CTE
96 return false; // in fact CTE
142 return false; // in fact CTE
182 return false; // in fact CTE
221 return false; // in fact CTE
260 // return false; // in fact CTE
300 // return false; // in fact CTE
|
| /arkcompiler/runtime_core/static_core/verification/models/contexts_merge/ |
| D | java_typing.als | 28 fact TypeHierarchy {
44 fact Soundness { all r: Register | r.holds.type in r.type.*subtypes }
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/09.classes/06.method_declarations/06.overriding_methods/ |
| D | method_overload_2.ets | 18 … override-equivalent, then the method name is said to be overloaded. This fact causes no difficult…
|
| D | method_overload_1.ets | 18 … override-equivalent, then the method name is said to be overloaded. This fact causes no difficult…
|
| D | method_overload_0.ets | 18 … override-equivalent, then the method name is said to be overloaded. This fact causes no difficult…
|
| /arkcompiler/runtime_core/static_core/runtime/arch/aarch64/ |
| D | tlab.S | 20 // Load tlab start and tlab size from TLAB structure. Relies on fact that tlab start and tlab end a…
|
| /arkcompiler/ets_frontend/ets2panda/linter/arkanalyzer/src/ |
| D | index.ts | 71 export { Fact } from './core/dataflow/Fact';
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets_func_tests/escompat/ |
| D | WeakSetGCTest.ets | 35 // using the fact that startGC(GC.Cause.YOUNG) request throws when GC type is STW
|
| D | WeakMapGCTest.ets | 43 // using the fact that startGC(GC.Cause.YOUNG) request throws when GC type is STW
|
| /arkcompiler/runtime_core/static_core/irtoc/backend/compiler/ |
| D | codegen_fastpath.h | 28 …* below the frame, hereby it change SP register. Due to this fact spill/fills aren't supported in …
|
| /arkcompiler/runtime_core/static_core/verification/util/ |
| D | mem.h | 23 /* We are using the fact that on every operating system some of the process's virtual memory space
|
| /arkcompiler/runtime_core/compiler/docs/ |
| D | aot_cha.md | 37 The wrong usage. Some classes were omitted during AOT compilation due to the fact that they are not…
|
| /arkcompiler/runtime_core/static_core/compiler/docs/ |
| D | aot_cha.md | 37 The wrong usage. Some classes were omitted during AOT compilation due to the fact that they are not…
|
| D | inlining.md | 67 Since Panda VM allows instantiating a classes with abstract methods, we can't rely on the fact that…
|
| /arkcompiler/runtime_core/static_core/tests/cts-generator/cts-template/ |
| D | fp.yaml | 464 .function f64 fact(i32 a0) {
523 call fact, v0 # acc = v0!
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | fp.yaml | 464 .function f64 fact(i32 a0) {
523 call fact, v0 # acc = v0!
|