public void CheckType(Scope Current) { MiniPascalType condType = condition.NodeType(Current); if (!condType.Equals(MiniPascalType.Boolean)) { throw new TypeMismatchException(MiniPascalType.Boolean, condType); } thenStatement.CheckType(Current); elseStatement?.CheckType(Current); }
public void CheckType(Scope Current) { condition.NodeType(Current); doStatement.CheckType(Current); }