script.kps 873 Bytes
Newer Older
Lulu Luong's avatar
Lulu Luong committed
1 2 3 4
script full0(){
  impRight;
  impRight;
  impLeft;
5 6 7 8 9 10
   foreach{
    notLeft;
   }
   foreach{
   auto;
   }
Lulu Luong's avatar
Lulu Luong committed
11 12
  }

Sarah Grebing's avatar
Sarah Grebing committed
13 14 15 16 17 18 19 20
script full(){
  impRight;
  impRight;
  impLeft;
  cases {
	case match `!q ==> p`:
		notLeft;
		notRight;
Sarah Grebing's avatar
Sarah Grebing committed
21 22
		closeAntec;

Sarah Grebing's avatar
Sarah Grebing committed
23 24 25 26 27 28

	case match `q==>!p`:
		notLeft;
		closeAntec;
   }
}
29

Sarah Grebing's avatar
Sarah Grebing committed
30
script autoScript(){
31 32
    __STRICT_MODE := true;
    auto;
Sarah Grebing's avatar
Sarah Grebing committed
33 34
}

35

36
script interactive(){
37
  impRight;
Sarah Grebing's avatar
Sarah Grebing committed
38
  impRight;
39
  impLeft;
40
//after execution of this script, manual interaction can be performed
41
}
42
script interactive_with_match(){
43
impRight;
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
44
impRight;
45
#save 'test0' force='yes';
46 47
impLeft;
cases{
48
    case match `==> !(?Z), ?Z`:
49
      notRight;
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
50 51 52 53

    default:
      notLeft;

54
    }
55 56

}
Sarah Grebing's avatar
Sarah Grebing committed
57 58 59 60 61 62 63 64 65

script usageOfTryInCases(){
cases{
    try: impLeft; //if this mutator is successful, do this operation otherwise use next case

    default:
        __KEY_MAX_STEPS:= 100;
        impRight;
    }
66
    auto;
Sarah Grebing's avatar
Sarah Grebing committed
67
}