arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

TypeVariableFactory implementieren

Browse Source
This commit is contained in:
Johanna Stuber 2021-01-27 20:17:30 +01:00
parent 70a97b4c83
commit 5dd3f0f969
2 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/main/java/edu/kit/typicalc/model/TypeVariableFactory.java
View File

@ -7,11 +7,15 @@ import edu.kit.typicalc.model.type.TypeVariable;
*/
public class TypeVariableFactory {
private static final int FIRST_VARIABLE_INDEX = 1;
private int nextVariableIndex;
/**
* Initializes a new type variable factory.
*/
protected TypeVariableFactory() {
// TODO
nextVariableIndex = FIRST_VARIABLE_INDEX;
}
/**
@ -20,7 +24,8 @@ public class TypeVariableFactory {
* @return a new unique type variable
*/
public TypeVariable nextTypeVariable() {
return null;
// TODO
TypeVariable nextTypeVariable = new TypeVariable(nextVariableIndex);
nextVariableIndex++;
return nextTypeVariable;
}
}

3
src/main/java/edu/kit/typicalc/model/type/TypeVariable.java
View File

@ -1,4 +1,7 @@
package edu.kit.typicalc.model.type;
public class TypeVariable {
public TypeVariable(int index) {
}
}