1  /*
 2   * Copyright (c) 2016 Thomas Pornin <pornin@bolet.org>
 3   *
 4   * Permission is hereby granted, free of charge, to any person obtaining 
 5   * a copy of this software and associated documentation files (the
 6   * "Software"), to deal in the Software without restriction, including
 7   * without limitation the rights to use, copy, modify, merge, publish,
 8   * distribute, sublicense, and/or sell copies of the Software, and to
 9   * permit persons to whom the Software is furnished to do so, subject to
10   * the following conditions:
11   *
12   * The above copyright notice and this permission notice shall be 
13   * included in all copies or substantial portions of the Software.
14   *
15   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 
16   * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
17   * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 
18   * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
19   * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
20   * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
21   * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
22   * SOFTWARE.
23   */
24  
25  using System;
26  using System.Collections.Generic;
27  
28  class OpcodeJumpUncond : OpcodeJump {
29  
30  	internal OpcodeJumpUncond() : base()
31  	{
32  	}
33  
34  	internal OpcodeJumpUncond(int disp) : base(disp)
35  	{
36  	}
37  
38  	/*
39  	 * Unconditional jumps do not "fall through" unless they
40  	 * happen to be a jump to the next instruction...
41  	 */
42  	internal override bool MayFallThrough {
43  		get {
44  			return JumpDisp == 0;
45  		}
46  	}
47  
48  	internal override CodeElement ToCodeElement()
49  	{
50  		return new CodeElementJump(4);
51  	}
52  
53  	public override string ToString()
54  	{
55  		if (JumpDisp == Int32.MinValue) {
56  			return "jump UNRESOLVED";
57  		} else {
58  			return "jump disp=" + JumpDisp;
59  		}
60  	}
61  }