mirror of
https://github.com/JonathanFleischmann/CompilerULTIMATE.git
synced 2024-12-28 16:48:03 +00:00
Merge branch 'refs/heads/main' into testsuites
This commit is contained in:
commit
7d298069cb
@ -13,9 +13,12 @@ import java.util.Map;
|
|||||||
|
|
||||||
@Data
|
@Data
|
||||||
public class TypedClass implements Node {
|
public class TypedClass implements Node {
|
||||||
|
private Boolean isPublic;
|
||||||
private TypedId typedId;
|
private TypedId typedId;
|
||||||
private List<TypedField> typedFields;
|
private List<TypedField> typedFields;
|
||||||
private List<TypedMethod> typedMethods;
|
private List<TypedMethod> typedMethods;
|
||||||
|
private TypedMainMethod typedMainMethod;
|
||||||
|
private List<TypedConstructor> typedConstructors;
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
public Type typeCheck(Map<String, Type> localVar, Map<String, TypedClass> classes) {
|
public Type typeCheck(Map<String, Type> localVar, Map<String, TypedClass> classes) {
|
||||||
|
@ -12,6 +12,7 @@ import java.util.Map;
|
|||||||
@Data
|
@Data
|
||||||
public class TypedConstructor implements Node {
|
public class TypedConstructor implements Node {
|
||||||
|
|
||||||
|
private Boolean isPublic;
|
||||||
private TypedId typedId;
|
private TypedId typedId;
|
||||||
private List<TypedParameter> typedParameters;
|
private List<TypedParameter> typedParameters;
|
||||||
private TypedBlock typedBlock;
|
private TypedBlock typedBlock;
|
||||||
|
@ -8,7 +8,7 @@ import lombok.Data;
|
|||||||
|
|
||||||
import java.util.Map;
|
import java.util.Map;
|
||||||
@Data
|
@Data
|
||||||
public class TypedFieldId implements Node {
|
public class TypedFieldId implements Expression {
|
||||||
private Boolean field;
|
private Boolean field;
|
||||||
private Expression recipient;
|
private Expression recipient;
|
||||||
private TypedId typedId;
|
private TypedId typedId;
|
||||||
|
@ -13,6 +13,7 @@ import java.util.Map;
|
|||||||
|
|
||||||
@Data
|
@Data
|
||||||
public class TypedMethod implements Node {
|
public class TypedMethod implements Node {
|
||||||
|
private Boolean isPublic;
|
||||||
private TypedId typedId;
|
private TypedId typedId;
|
||||||
private Type returnType;
|
private Type returnType;
|
||||||
private List<TypedParameter> typedParameters;
|
private List<TypedParameter> typedParameters;
|
||||||
|
Loading…
Reference in New Issue
Block a user