| 1 | package edu.ucsb.cs156.student; | |
| 2 | public class Main { // implicit: public class Main extends object | |
| 3 | ||
| 4 | public static void main(String[] args) { | |
| 5 | ||
| 6 | String usageMessage = "Usage: java Main name perm\n" | |
| 7 | + " perm should be a positive integer between 1 and 9999999"; | |
| 8 | ||
| 9 |
1
1. main : negated conditional → NO_COVERAGE |
if (args.length != 2) { |
| 10 |
1
1. main : removed call to java/io/PrintStream::println → NO_COVERAGE |
System.err.println(usageMessage); |
| 11 |
1
1. main : removed call to java/lang/System::exit → NO_COVERAGE |
System.exit(1); |
| 12 | } | |
| 13 | ||
| 14 | String name = args[0]; | |
| 15 | int perm = 0; // avoids the "perm may not have been assigned" error | |
| 16 | try { | |
| 17 | perm = Integer.parseInt(args[1]); | |
| 18 | } catch (NumberFormatException e) { | |
| 19 |
1
1. main : removed call to java/io/PrintStream::println → NO_COVERAGE |
System.err.println(usageMessage); |
| 20 |
1
1. main : removed call to java/lang/System::exit → NO_COVERAGE |
System.exit(2); |
| 21 | } | |
| 22 | ||
| 23 | Student s1 = new Student(); | |
| 24 | Student s2 = new Student(name, perm); | |
| 25 | ||
| 26 |
1
1. main : removed call to java/io/PrintStream::println → NO_COVERAGE |
System.out.println("s1 = " + s1); // implicit: r1.toString() |
| 27 |
1
1. main : removed call to java/io/PrintStream::println → NO_COVERAGE |
System.out.println("s2 = " + s2); // implicit: r2.toString() |
| 28 | ||
| 29 | } // main | |
| 30 | ||
| 31 | } | |
Mutations | ||
| 9 |
1.1 |
|
| 10 |
1.1 |
|
| 11 |
1.1 |
|
| 19 |
1.1 |
|
| 20 |
1.1 |
|
| 26 |
1.1 |
|
| 27 |
1.1 |