tlang
/
tlang
mirror of http://deavmi.assigned.network/git/tlang/tlang
1
0
Fork 0
Code Issues Releases Activity

If a variable declaration occurs at the module level an it is of a type that is non-basic then it is only a class-type and it must be statically initialized 

(An actual check as to whether the type idk
This commit is contained in:
Tristan B. Kildaire 2021-06-06 18:33:33 +02:00
parent 8e2807c24a
commit 3294076faa
1 changed files with 27 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
source/tlang/compiler/typecheck/dependancy.d
View File

@ -23,6 +23,17 @@ public void encounter(string entityName, string dependentOn)
gprintln("[Encounter] Entity: \""~entityName~"\" set to be dependent on \""~dependentOn~"\"");
}
public void encounter(TypeChecker tc, Entity entityDependee, Entity dependentOn)
{
/* Full path of thing depending on something else */
string dependee = tc.getResolver().generateName(tc.getModule(), entityDependee);
/* Full path of the thing it is dependent on */
string dependency = tc.getResolver().generateName(tc.getModule(), dependentOn);
encounter(dependee, dependency);
}
public void dependancyGenerate(TypeChecker tc, Container container)
{
/**
@ -69,6 +80,22 @@ public void dependancyGenerate(TypeChecker tc, Container container)
/* Get the variable's type */
Type variableType = tc.getType(container, variable.getType());
/**
* TODO: Here we must decide, if it is basic type then no init -> no dependence
* The only depenedence would be what comes next (a.k.a. if an assignment exists)
* then dependence from the expression must be checked
*
* Non-basic types that have static initiliazation on type reference: Class
*/
if(cast(Clazz)variableType)
{
/**
* Mark the variable as dependent on the class type (`variableType`) having
* been statically initialized
*/
encounter(tc, variable, variableType);
}
/* If then variable has an assignment */
if(variable.getAssignment())
{