package de.dhbwstuttgart.syntaxtree.statement;

import de.dhbwstuttgart.typeinference.assumptions.TypeInferenceBlockInformation;
import de.dhbwstuttgart.typeinference.constraints.ConstraintSet;
import de.dhbwstuttgart.typeinference.assumptions.TypeInferenceInformation;


public class IfStmt extends Statement
{
    public IfStmt(int offset, int variableLength)
    {
        super(null,null);
    }
    
    public boolean hamaDebug = true;    //hama: Debug Ausgaben von mir ein- bzw. ausschalten
    public Expression expr;
    public Block then_block;
    public Block else_block;

    @Override
    public ConstraintSet getConstraints(TypeInferenceBlockInformation info) {
        return null;
    }
}
