@Override
protected Type doTypecheck(Environment env, Optional<Type> expected) {
// TODO check arg types
// Type argTypes = args.typecheck();
ClassBinding classVarTypeBinding = (ClassBinding) env.lookupBinding("class", ClassBinding.class).orElse(null);
// System.out.println("classVarTypeBinding = " + classVarTypeBinding);
if (classVarTypeBinding != null) { //In a class method
Environment declEnv = classVarTypeBinding.getClassDecl().getInstanceMembersEnv();
Environment innerEnv = seq.extendName(Environment.getEmptyEnvironment(), env).extend(declEnv);
seq.typecheck(env.extend(new NameBindingImpl("this", new ClassType(new Reference<>(innerEnv), new Reference<>(innerEnv), new LinkedList<>(), classVarTypeBinding.getClassDecl().getName()))), Optional.empty());
Environment environment = seq.extendType(declEnv, declEnv.extend(env));
environment = seq.extendName(environment, environment.extend(env));
Environment nnames = seq.extend(environment, environment);
Environment objTee = TypeDeclUtils.getTypeEquivalentEnvironment(nnames.extend(declEnv));
Type classVarType = new ClassType(new Reference<>(nnames.extend(declEnv)), new Reference<>(objTee), new LinkedList<>(), classVarTypeBinding.getClassDecl().getName());
if (!(classVarType instanceof ClassType)) {
// System.out.println("Type checking classVarType: " + classVarType + " and clsVar = " + clsVar);
ToolError.reportError(ErrorMessage.MUST_BE_LITERAL_CLASS, this, classVarType.toString());
}
// TODO SMELL: do I really need to store this? Can get it any time from the type
cls = classVarTypeBinding.getClassDecl();
ct = classVarType;
return classVarType;
} else { // Standalone