Lines Matching refs:sa
86 StaticAnalysis sa = new StaticAnalysis(metaAccess, stampProvider);
87 sa.addMethod(findMethod(StaticAnalysisTests.class, "test01Entry"));
88 sa.finish();
90 assertEquals(sa.getResults().getAllInstantiatedTypes(), t(A.class));
91 assertEquals(f(sa, Data.class, "f"));
92 assertEquals(m(sa, A.class, "foo").getFormalParameters()[0], t(A.class));
93 assertEquals(m(sa, A.class, "foo").getFormalParameters()[1]);
94 assertEquals(m(sa, A.class, "foo").getFormalReturn());
107 StaticAnalysis sa = new StaticAnalysis(metaAccess, stampProvider);
108 sa.addMethod(findMethod(StaticAnalysisTests.class, "test02Entry"));
109 sa.finish();
111 assertEquals(sa.getResults().getAllInstantiatedTypes(), t(A.class), t(B.class), t(Data.class));
112 assertEquals(f(sa, Data.class, "f"));
113 assertEquals(m(sa, A.class, "foo").getFormalParameters()[0], t(A.class), t(B.class));
114 assertEquals(m(sa, A.class, "foo").getFormalParameters()[1], t(Data.class));
115 assertEquals(m(sa, A.class, "foo").getFormalReturn(), t(Data.class));
116 assertEquals(m(sa, B.class, "foo").getFormalParameters()[0], t(B.class));
117 assertEquals(m(sa, B.class, "foo").getFormalParameters()[1]);
118 assertEquals(m(sa, B.class, "foo").getFormalReturn(), t(Data.class));
134 StaticAnalysis sa = new StaticAnalysis(metaAccess, stampProvider);
135 sa.addMethod(findMethod(StaticAnalysisTests.class, "test03Entry"));
136 sa.finish();
138 assertEquals(sa.getResults().getAllInstantiatedTypes(), t(A.class), t(B.class), t(Data.class), t(Integer.class));
139 assertEquals(f(sa, Data.class, "f"), t(Integer.class));
140 assertEquals(m(sa, A.class, "foo").getFormalParameters()[0], t(A.class), t(B.class));
141 assertEquals(m(sa, A.class, "foo").getFormalParameters()[1], t(Data.class));
142 assertEquals(m(sa, A.class, "foo").getFormalReturn(), t(Data.class));
143 assertEquals(m(sa, B.class, "foo").getFormalParameters()[0], t(B.class));
144 assertEquals(m(sa, B.class, "foo").getFormalParameters()[1]);
145 assertEquals(m(sa, B.class, "foo").getFormalReturn(), t(Data.class), t(Integer.class));
164 StaticAnalysis sa = new StaticAnalysis(metaAccess, stampProvider);
165 sa.addMethod(findMethod(StaticAnalysisTests.class, "test04Entry"));
166 sa.finish();
168 assertEquals(sa.getResults().getAllInstantiatedTypes(), t(A.class), t(Data.class), t(Integer.class));
169 assertEquals(f(sa, Data.class, "f"), t(Integer.class));
170 assertEquals(m(sa, A.class, "foo").getFormalParameters()[0], t(A.class));
171 assertEquals(m(sa, A.class, "foo").getFormalParameters()[1], t(Data.class));
172 assertEquals(m(sa, A.class, "foo").getFormalReturn(), t(Data.class));
175 private MethodState m(StaticAnalysis sa, Class<?> declaringClass, String name) {
176 return sa.getResults().lookupMethod(findMethod(declaringClass, name));
179 private TypeFlow f(StaticAnalysis sa, Class<?> declaringClass, String name) {
180 return sa.getResults().lookupField(findField(declaringClass, name));