package de.dhbwstuttgart.syntaxtree.statement;

import de.dhbwstuttgart.typeinference.assumptions.TypeInferenceBlockInformation;
import de.dhbwstuttgart.typeinference.constraints.ConstraintSet;
import de.dhbwstuttgart.typeinference.assumptions.TypeInferenceInformation;
import sun.reflect.generics.reflectiveObjects.NotImplementedException;

public class ForStmt extends Statement
{
    
    private Expression head_Initializer_1;
	private Expression head_Condition_1;
	private Expression head_Loop_expr_1;
	private Expression head_Initializer;
	private Expression head_Condition;
	private Expression head_Loop_expr;
	private Statement body_Loop_block;

	public ForStmt(int offset, int variableLength)
    {
        super(null,null);
    }


    @Override
    public ConstraintSet getConstraints(TypeInferenceBlockInformation info) {
        throw new NotImplementedException();
    }
}