M3モデルからファクトを抽出する

Question

Java M3モデルからタイプ宣言に関するいくつかの事実を抽出しようとしています。宣言されていない変数：

を：種類

をその後、私はちょうど使用して、メソッドからの事実を入手しようとした私が得たもののM3ファイルのセットから、私はそのような

> [type(m) | m <- models]; 

として、理解を使用しようとしました

> [methods(m) | m <- models]; 

ドキュメントの説明どおりです。それにもかかわらず、私は次のようなものを得ました：

|std:///lang/java/m3/Core.rsc|(8877,1,<186,52>,<186,53>): NoSuchAnnotation("declarations") 

したがって、セットM3モデルでナビゲートする正しいアプローチは何ですか？ M3モデルのクラスとインタフェースに関する情報を入手するにはどうすればよいですか？

私は、createM3FromProjectJars関数を使用してM3ファイルを構築しました。

Answer 1

良い質問;これに関する文書はまだ不足しています。最良の例によるコードはここにある：http://tutor.rascal-mpl.org/Recipes/Recipes.html#/Recipes/Metrics/MeasuringJava/MeasuringJava.html

M3モデルのソースコードはここに多くのことを説明することができます：

• https://github.com/usethesource/rascal/blob/master/src/org/rascalmpl/library/analysis/m3/Core.rsc
• https://github.com/usethesource/rascal/blob/master/src/org/rascalmpl/library/lang/java/m3/Core.rsc

例えば後者は、これらの定義が含まれています：

anno rel[loc from, loc to] M3@extends;   // classes extending classes and interfaces extending interfaces 
anno rel[loc from, loc to] M3@implements;   // classes implementing interfaces 
anno rel[loc from, loc to] M3@methodInvocation; // methods calling each other (including constructors) 
anno rel[loc from, loc to] M3@fieldAccess;  // code using data (like fields) 
anno rel[loc from, loc to] M3@typeDependency;  // using a type literal in some code (types of variables, annotations) 
anno rel[loc from, loc to] M3@methodOverrides; // which method override which other methods 
anno rel[loc declaration, loc annotation] M3@annotations; 

前者はこれらが含まれています：

anno rel[loc name, loc src]  M3@declarations;   // maps declarations to where they are declared. contains any kind of data or type or code declaration (classes, fields, methods, variables, etc. etc.) 
anno rel[loc name, TypeSymbol typ] M3@types;     // assigns types to declared source code artifacts 
anno rel[loc src, loc name]  M3@uses;     // maps source locations of usages to the respective declarations 
anno rel[loc from, loc to]   M3@containment;    // what is logically contained in what else (not necessarily physically, but usually also) 
anno list[Message]     M3@messages;    // error messages and warnings produced while constructing a single m3 model 
anno rel[str simpleName, loc qualifiedName] M3@names;   // convenience mapping from logical names to end-user readable (GUI) names, and vice versa 
anno rel[loc definition, loc comments]  M3@documentation; // comments and javadoc attached to declared things 
anno rel[loc definition, Modifier modifier] M3@modifiers;  // modifiers associated with declared things 

これらの定義は正確に一緒にJavaのM3のためのモデルを文書化します。 jarファイルからM3モデルを直接生成すると、この情報の量がどれくらいあるか分かりません。 Eclipseソースプロジェクトから、これらのテーブルがすべて埋められます。

することができますあなたのクエリを実装するには、次の

• [ m@types | m <- models]を。リストを生成する[rel [loc name、TypeSymbol typ]
• { *m@types | m <- models}; a rel [loc name、TypeSymbol typ]すべての型のすべての型テーブルの和集合
• { t | m <- models, t <- m@types};あなたはそれが好きな場合、前の