logic: add type information of variable decl to name hierarchy
* implemented this feature for both, CXX and Java * adjusted tests to reflect these changes * added NameElement and NameHierarchy to Java code * created more specialized JavaDeclName classes: JavaFunctionDeclName and JavaVariableDeclName * implemented recording static modifier for Java methods and variables fortune cookie message = You will enjoy true success in whatever you do.
This commit is contained in:
@@ -24,6 +24,8 @@ add_files(
|
||||
data/parser/cxx/name/CxxQualifierFlags.h
|
||||
data/parser/cxx/name/CxxTypeName.cpp
|
||||
data/parser/cxx/name/CxxTypeName.h
|
||||
data/parser/cxx/name/CxxVariableDeclName.cpp
|
||||
data/parser/cxx/name/CxxVariableDeclName.h
|
||||
|
||||
data/parser/cxx/name_resolver/CxxDeclNameResolver.cpp
|
||||
data/parser/cxx/name_resolver/CxxDeclNameResolver.h
|
||||
|
||||
@@ -0,0 +1,53 @@
|
||||
#include "data/parser/cxx/name/CxxVariableDeclName.h"
|
||||
|
||||
CxxVariableDeclName::CxxVariableDeclName(
|
||||
std::string name,
|
||||
std::vector<std::string> templateParameterNames,
|
||||
std::shared_ptr<CxxTypeName> typeName,
|
||||
bool isStatic
|
||||
)
|
||||
: CxxDeclName(name, templateParameterNames)
|
||||
, m_typeName(typeName)
|
||||
, m_isStatic(isStatic)
|
||||
{
|
||||
}
|
||||
|
||||
CxxVariableDeclName::CxxVariableDeclName(
|
||||
std::string name,
|
||||
std::vector<std::string> templateParameterNames,
|
||||
std::shared_ptr<CxxTypeName> typeName,
|
||||
bool isStatic,
|
||||
std::shared_ptr<CxxName> parent
|
||||
)
|
||||
: CxxDeclName(name, templateParameterNames, parent)
|
||||
, m_typeName(typeName)
|
||||
, m_isStatic(isStatic)
|
||||
{
|
||||
}
|
||||
|
||||
CxxVariableDeclName::~CxxVariableDeclName()
|
||||
{
|
||||
}
|
||||
|
||||
NameHierarchy CxxVariableDeclName::toNameHierarchy() const
|
||||
{
|
||||
std::string signaturePrefix = "";
|
||||
if (m_isStatic)
|
||||
{
|
||||
signaturePrefix += "static ";
|
||||
}
|
||||
signaturePrefix += CxxTypeName::makeUnsolvedIfNull(m_typeName)->toString();
|
||||
|
||||
const std::string signaturePostfix = "";
|
||||
|
||||
NameHierarchy ret = CxxDeclName::toNameHierarchy();
|
||||
std::shared_ptr<NameElement> nameElement = std::make_shared<NameElement>(
|
||||
ret.back()->getName(),
|
||||
NameElement::Signature(signaturePrefix, signaturePostfix)
|
||||
);
|
||||
|
||||
ret.pop();
|
||||
ret.push(nameElement);
|
||||
|
||||
return ret;
|
||||
}
|
||||
@@ -0,0 +1,37 @@
|
||||
#ifndef CXX_VARIABLE_DECL_NAME_H
|
||||
#define CXX_VARIABLE_DECL_NAME_H
|
||||
|
||||
#include <memory>
|
||||
#include <vector>
|
||||
|
||||
#include "data/parser/cxx/name/CxxDeclName.h"
|
||||
#include "data/parser/cxx/name/CxxTypeName.h"
|
||||
|
||||
class CxxVariableDeclName: public CxxDeclName
|
||||
{
|
||||
public:
|
||||
CxxVariableDeclName(
|
||||
std::string name,
|
||||
std::vector<std::string> templateParameterNames,
|
||||
std::shared_ptr<CxxTypeName> typeName,
|
||||
bool isStatic
|
||||
);
|
||||
|
||||
CxxVariableDeclName(
|
||||
std::string name,
|
||||
std::vector<std::string> templateParameterNames,
|
||||
std::shared_ptr<CxxTypeName> typeName,
|
||||
bool isStatic,
|
||||
std::shared_ptr<CxxName> parent
|
||||
);
|
||||
|
||||
virtual ~CxxVariableDeclName();
|
||||
|
||||
virtual NameHierarchy toNameHierarchy() const;
|
||||
|
||||
private:
|
||||
std::shared_ptr<CxxTypeName> m_typeName;
|
||||
bool m_isStatic;
|
||||
};
|
||||
|
||||
#endif // CXX_VARIABLE_DECL_NAME_H
|
||||
@@ -4,6 +4,7 @@
|
||||
#include <clang/AST/ASTContext.h>
|
||||
|
||||
#include "data/parser/cxx/name/CxxFunctionDeclName.h"
|
||||
#include "data/parser/cxx/name/CxxVariableDeclName.h"
|
||||
#include "data/parser/cxx/name_resolver/CxxSpecifierNameResolver.h"
|
||||
#include "data/parser/cxx/name_resolver/CxxTemplateArgumentNameResolver.h"
|
||||
#include "data/parser/cxx/name_resolver/CxxTypeNameResolver.h"
|
||||
@@ -270,6 +271,14 @@ std::shared_ptr<CxxDeclName> CxxDeclNameResolver::getDeclName(const clang::Named
|
||||
}
|
||||
return std::make_shared<CxxDeclName>(declNameString, templateParameters);
|
||||
}
|
||||
else if (clang::isa<clang::FieldDecl>(declaration))
|
||||
{
|
||||
const clang::FieldDecl* fieldDecl = clang::dyn_cast<clang::FieldDecl>(declaration);
|
||||
CxxTypeNameResolver typenNameResolver(getIgnoredContextDecls());
|
||||
typenNameResolver.ignoreContextDecl(fieldDecl);
|
||||
std::shared_ptr<CxxTypeName> typeName = CxxTypeName::makeUnsolvedIfNull(typenNameResolver.getName(fieldDecl->getType()));
|
||||
return std::make_shared<CxxVariableDeclName>(declNameString, std::vector<std::string>(), typeName, false);
|
||||
}
|
||||
else if (clang::isa<clang::NamespaceDecl>(declaration) && clang::dyn_cast<clang::NamespaceDecl>(declaration)->isAnonymousNamespace())
|
||||
{
|
||||
const clang::SourceManager& sourceManager = declaration->getASTContext().getSourceManager();
|
||||
@@ -299,6 +308,28 @@ std::shared_ptr<CxxDeclName> CxxDeclNameResolver::getDeclName(const clang::Named
|
||||
const clang::PresumedLoc& presumedBegin = sourceManager.getPresumedLoc(declaration->getLocStart());
|
||||
return std::make_shared<CxxDeclName>(getNameForAnonymousSymbol("parameter", presumedBegin), std::vector<std::string>());
|
||||
}
|
||||
else if (clang::isa<clang::VarDecl>(declaration))
|
||||
{
|
||||
const clang::VarDecl* varDecl = clang::dyn_cast<clang::VarDecl>(declaration);
|
||||
if (varDecl->getParentFunctionOrMethod() == NULL)
|
||||
{
|
||||
bool isStatic = false;
|
||||
if (varDecl->getAccess() != clang::AS_none)
|
||||
{
|
||||
// var is declared inside a type and must be static (non-statics are stored as clang::FieldDecl)
|
||||
isStatic = true;
|
||||
}
|
||||
else
|
||||
{
|
||||
// nothing todo, varDecl is global (and non-static)
|
||||
}
|
||||
|
||||
CxxTypeNameResolver typenNameResolver(getIgnoredContextDecls());
|
||||
typenNameResolver.ignoreContextDecl(varDecl);
|
||||
std::shared_ptr<CxxTypeName> typeName = CxxTypeName::makeUnsolvedIfNull(typenNameResolver.getName(varDecl->getType()));
|
||||
return std::make_shared<CxxVariableDeclName>(declNameString, std::vector<std::string>(), typeName, isStatic);
|
||||
}
|
||||
}
|
||||
|
||||
if (declNameString.size() > 0)
|
||||
{
|
||||
|
||||
@@ -28,7 +28,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->usages, "void A::foo(int) -> A::bar <6:7 6:9>"
|
||||
client->usages, "void A::foo(int) -> int A::bar <6:7 6:9>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -47,7 +47,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->usages, "void A::foo(int) -> A::a <6:3 6:3>"
|
||||
client->usages, "void A::foo(int) -> A * A::a <6:3 6:3>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -109,7 +109,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->globalVariables, "x <1:5 1:5>"
|
||||
client->globalVariables, "int x <1:5 1:5>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -130,16 +130,16 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->fields, "private A::a <3:6 3:6>"
|
||||
client->fields, "private int A::a <3:6 3:6>"
|
||||
));
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->fields, "public A::b <6:6 6:6>"
|
||||
client->fields, "public int A::b <6:6 6:6>"
|
||||
));
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->fields, "protected A::c <8:13 8:13>"
|
||||
client->fields, "protected static int A::c <8:13 8:13>"
|
||||
));
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->fields, "private A::d <10:12 10:12>"
|
||||
client->fields, "private const int A::d <10:12 10:12>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -799,7 +799,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->fields, "private A<typename T>::foo <4:6 4:8>"
|
||||
client->fields, "private int A<typename T>::foo <4:6 4:8>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -814,7 +814,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->typeUses, "A<typename T>::foo -> A<typename T>::T <4:2 4:2>"
|
||||
client->typeUses, "A<typename T>::T A<typename T>::foo -> A<typename T>::T <4:2 4:2>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -1124,7 +1124,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->globalVariables, "n::x <2:6 2:6>"
|
||||
client->globalVariables, "int n::x <2:6 2:6>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -1143,7 +1143,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->fields, "private B::C::amount <7:20 7:25>"
|
||||
client->fields, "private static const int B::C::amount <7:20 7:25>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -1319,8 +1319,8 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->typeUses, "A<typename T>::foo -> A<typename T>::TestType <9:2 9:9>"
|
||||
));
|
||||
client->typeUses, "A<typename T>::TestType A<typename T>::foo -> A<typename T>::TestType <9:2 9:9>"
|
||||
));
|
||||
}
|
||||
|
||||
void test_cxx_parser_finds_correct_field_member_type_of_nested_template_class_in_declaration()
|
||||
@@ -1337,8 +1337,8 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->typeUses, "A<typename T>::B::foo -> A<typename T>::T <6:3 6:3>"
|
||||
));
|
||||
client->typeUses, "A<typename T>::T A<typename T>::B::foo -> A<typename T>::T <6:3 6:3>"
|
||||
));
|
||||
}
|
||||
|
||||
void test_cxx_parser_finds_type_usage_of_global_variable()
|
||||
@@ -1348,7 +1348,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->typeUses, "x -> int <1:1 1:3>"
|
||||
client->typeUses, "int x -> int <1:1 1:3>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -1386,7 +1386,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->typeUses, "number -> uint <2:1 2:4>"
|
||||
client->typeUses, "uint number -> uint <2:1 2:4>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -1881,7 +1881,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->calls, "app -> void App::App() <6:5 6:7>"
|
||||
client->calls, "App app -> void App::App() <6:5 6:7>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -1893,7 +1893,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->calls, "a -> int one() <2:9 2:11>"
|
||||
client->calls, "int a -> int one() <2:9 2:11>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -1950,7 +1950,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->usages, "int main() -> bar <5:2 5:4>"
|
||||
client->usages, "int main() -> int bar <5:2 5:4>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -1962,7 +1962,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->usages, "b -> a <2:12 2:12>"
|
||||
client->usages, "int [] b -> int a <2:12 2:12>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -1981,7 +1981,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->usages, "void App::foo() -> bar <7:3 7:5>"
|
||||
client->usages, "void App::foo() -> int bar <7:3 7:5>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -2000,10 +2000,10 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->usages, "void App::foo() -> App::bar <5:3 5:5>"
|
||||
client->usages, "void App::foo() -> int App::bar <5:3 5:5>"
|
||||
));
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->usages, "void App::foo() -> App::bar <6:9 6:11>"
|
||||
client->usages, "void App::foo() -> int App::bar <6:9 6:11>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -2020,7 +2020,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->usages, "void App::App() -> App::bar <4:5 4:7>"
|
||||
client->usages, "void App::App() -> int App::bar <4:5 4:7>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -2204,16 +2204,16 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->usages, "a -> A::B <6:7 6:7>"
|
||||
client->usages, "A a -> A::B <6:7 6:7>"
|
||||
));
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->typeUses, "a -> A <6:1 6:1>"
|
||||
client->typeUses, "A a -> A <6:1 6:1>"
|
||||
));
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->typeUses, "aPtr -> A <7:1 7:1>"
|
||||
client->typeUses, "A * aPtr -> A <7:1 7:1>"
|
||||
));
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->typeUses, "aPtr -> A <7:15 7:15>"
|
||||
client->typeUses, "A * aPtr -> A <7:15 7:15>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -2504,7 +2504,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->templateArgumentTypes, "A<&g_p> -> g_p <9:5 9:7>"
|
||||
client->templateArgumentTypes, "A<&g_p> -> P g_p <9:5 9:7>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -2524,7 +2524,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->templateArgumentTypes, "A<&g_p> -> g_p <9:4 9:6>"
|
||||
client->templateArgumentTypes, "A<&g_p> -> P g_p <9:4 9:6>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -2675,7 +2675,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->templateArgumentTypes, "A<&g_p> -> g_p <8:10 8:12>"
|
||||
client->templateArgumentTypes, "A<&g_p> -> P g_p <8:10 8:12>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -2695,7 +2695,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->templateArgumentTypes, "A<&g_p> -> g_p <8:9 8:11>"
|
||||
client->templateArgumentTypes, "A<&g_p> -> P g_p <8:9 8:11>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -2792,7 +2792,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->templateArgumentTypes, "A<&g_p, P * q> -> g_p <8:10 8:12>"
|
||||
client->templateArgumentTypes, "A<&g_p, P * q> -> P g_p <8:10 8:12>"
|
||||
));
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->templateArgumentTypes, "A<&g_p, P * q> -> A<&g_p, P * q>::q <8:15 8:15>"
|
||||
@@ -2815,7 +2815,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->templateArgumentTypes, "A<&g_p, P & q> -> g_p <8:9 8:11>"
|
||||
client->templateArgumentTypes, "A<&g_p, P & q> -> P g_p <8:9 8:11>"
|
||||
));
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->templateArgumentTypes, "A<&g_p, P & q> -> A<&g_p, P & q>::q <8:14 8:14>"
|
||||
@@ -2949,7 +2949,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->usages, "void A<typename T>::A<T>() -> A<typename T>::foo <4:7 4:9>"
|
||||
client->usages, "void A<typename T>::A<T>() -> A<typename T>::T A<typename T>::foo <4:7 4:9>"
|
||||
));
|
||||
}
|
||||
|
||||
|
||||
@@ -158,6 +158,23 @@ public:
|
||||
));
|
||||
}
|
||||
|
||||
void test_java_parser_finds_method_declaration_with_static_keyword_in_signature()
|
||||
{
|
||||
std::shared_ptr<TestParserClient> client = parseCode(
|
||||
"package foo;\n"
|
||||
"public class A\n"
|
||||
"{\n"
|
||||
" static public void bar()\n"
|
||||
" {\n"
|
||||
" };\n"
|
||||
"}\n"
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->methods, "public static void foo.A.bar() <4:2 <4:21 4:23> 6:2>"
|
||||
));
|
||||
}
|
||||
|
||||
void test_java_parser_finds_field_declaration_with_initial_assignment()
|
||||
{
|
||||
std::shared_ptr<TestParserClient> client = parseCode(
|
||||
@@ -169,7 +186,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->fields, "default foo.A.bar <4:6 4:8>"
|
||||
client->fields, "default int foo.A.bar <4:6 4:8>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -184,7 +201,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->fields, "public foo.A.bar <4:13 4:15>"
|
||||
client->fields, "public int foo.A.bar <4:13 4:15>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -199,7 +216,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->fields, "protected foo.A.bar <4:16 4:18>"
|
||||
client->fields, "protected int foo.A.bar <4:16 4:18>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -214,7 +231,22 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->fields, "private foo.A.bar <4:14 4:16>"
|
||||
client->fields, "private int foo.A.bar <4:14 4:16>"
|
||||
));
|
||||
}
|
||||
|
||||
void test_java_parser_finds_static_keyword_in_field_declaration()
|
||||
{
|
||||
std::shared_ptr<TestParserClient> client = parseCode(
|
||||
"package foo;\n"
|
||||
"public class A\n"
|
||||
"{\n"
|
||||
" static int bar;\n"
|
||||
"}\n"
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->fields, "default static int foo.A.bar <4:13 4:15>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -455,7 +487,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->typeUses, "Foo.Derived.x -> Foo.Base.X <7:10 7:10>"
|
||||
client->typeUses, "Foo.Base.X Foo.Derived.x -> Foo.Base.X <7:10 7:10>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -522,7 +554,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->usages, "foo.X.X(int) -> foo.X.t <7:8 7:8>"
|
||||
client->usages, "foo.X.X(int) -> int foo.X.t <7:8 7:8>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -541,7 +573,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->usages, "foo.X.foo() -> foo.X.foo <7:8 7:10>"
|
||||
client->usages, "foo.X.foo() -> int foo.X.foo <7:8 7:10>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -724,7 +756,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->typeUses, "A<T>.t -> A<T>.T <3:2 3:2>"
|
||||
client->typeUses, "A<T>.T A<T>.t -> A<T>.T <3:2 3:2>"
|
||||
));
|
||||
}
|
||||
|
||||
@@ -752,7 +784,7 @@ public:
|
||||
);
|
||||
|
||||
TS_ASSERT(utility::containsElement<std::string>(
|
||||
client->typeUses, "A<T>.t -> A<T> <3:2 3:2>"
|
||||
client->typeUses, "A<T> A<T>.t -> A<T> <3:2 3:2>"
|
||||
));
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user