Hi Hao, No we do not have an explicit list. We did a test driven developed the semantic analysis code. That is, we took a large amount of Java code and ran it through a test suite as described in the JaMoPP report Section 2.5 (ftp://ftp.inf.tu-dresden.de/pub/berichte/tud09-10.pdf).
The tests suite and the test code can be found in our SVN: http://svn-st.inf.tu-dresden.de/svn/reuseware/trunk/EMFText%20Languages/org.emftext.language.java.test/ http://svn-st.inf.tu-dresden.de/svn/reuseware/trunk/EMFText%20Languages/org.emftext.language.java.test.bulk/ Cheers, Jendrik On Mon, Feb 6, 2012 at 3:19 PM, haowu <[email protected]> wrote: > Hi Jendrik, > > Do you guys own a list of rules for defining static semantics for the Java > metamodel? > > Thanks > Hao Wu > Research Lab 1, > Computer Science Department, > National University of Ireland, Maynooth > > -----Original Message----- > From: Jendrik Johannes [mailto:[email protected]] > Sent: Tuesday, November 15, 2011 09:12 > To: [email protected]; [email protected] > Subject: Re: [EMFText-Users] static semantics for Java > > Hi Hao, > > The starting point for the static semantic analysis is implemented are > the reference resolvers: > http://svn-st.inf.tu-dresden.de/svn/reuseware/trunk/EMFText%20Languages/org. > emftext.language.java.resource.java/src/org/emftext/language/java/resource/j > ava/analysis/ > > The analysis is performed by traversing the syntax tree, which is > implemented here: > http://svn-st.inf.tu-dresden.de/svn/reuseware/trunk/EMFText%20Languages/org. > emftext.language.java.resource.java/src/org/emftext/language/java/resource/j > ava/analysis/helper/ScopedTreeWalker.java) > > Usually the mechanism is triggered when a non-containment reference is > accesses in a Java model (e.g., a link from a TypeReference to a Type). > This is the default EMF/EMFText proxy resolution mechanism which you can > trigger in code by calling EcoreUtil.resolve() or EcoreUtils.resolveAll(). > > Cheers, > Jendrik > > > > Am 14.11.11 18:19, schrieb haowu: >> Hi >> >> >> >> Where can I get the analysis mechanism that implements the specifics of >> Java's static semantics in Jamopp? >> >> >> >> >> >> Thanks >> >> >> >> Hao Wu <http://www.cs.nuim.ie/~haowu> >> >> Research Lab 1, >> >> Computer Science Department <http://www.cs.nuim.ie/>, >> >> National University of Ireland, Maynooth <http://www.nuim.ie/> >> >> >> >> >> >> _______________________________________________ >> emftext-users mailing list >> [email protected] >> http://mail-st.inf.tu-dresden.de/cgi-bin/mailman/listinfo/emftext-users > _______________________________________________ emftext-users mailing list [email protected] http://mail-st.inf.tu-dresden.de/cgi-bin/mailman/listinfo/emftext-users
