// Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/// int terminalLines
/// Get the number of Lines of the terminal.
/// @description Checks that [terminalLines] is a positive number if output is
/// attached to the terminal.
/// @author iarkh@unipro.ru

import "dart:io";
import "../../../Utils/expect.dart";

main() {
  if (stderr.hasTerminal) {
    Expect.isTrue(stderr.terminalLines > 0);
  }
  if (stdout.hasTerminal) {
    Expect.isTrue(stdout.terminalLines > 0);
  }
}