;
; Output created by JasminView on 11-May-00
; mailto:shawn@pobox.com
; Copyright (c) 1997-Present Shawn Silverman
;
; Jasmin can be found at:
;     http://www.cat.nyu.edu/meyer/jasmin/
;

; Classfile version:
;     major: 45
;     minor: 3

.source IncDec.java

.class  IncDec
.super  java/lang/Object

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; private int s;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
.field private s I

; >> METHOD 1 <<
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; IncDec(int a){ s=a; }
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
.method <init>(I)V
    .limit stack 2
    .limit locals 2
;---- [this, a]
.line 5
    aload_0
    invokespecial java/lang/Object/<init>()V
    aload_0
    iload_1
    putfield IncDec/s I
    return
.end method

; >> METHOD 2 <<
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; void inc(int a){ s+=a; }
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
.method inc(I)V
    .limit stack 3
    .limit locals 2
;---- [this, a]
.line 7
    aload_0
    dup
    getfield IncDec/s I
    iload_1
    iadd
    putfield IncDec/s I
    return
.end method

; >> METHOD 3 <<
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; dec(int a){ s-=a; }
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
.method dec(I)V
    .limit stack 3
    .limit locals 2
;---- [this, a]
.line 8
    aload_0
    dup
    getfield IncDec/s I
    iload_1
    isub
    putfield IncDec/s I
    return
.end method

; >> METHOD 4 <<
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; int value(){return s;}
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
.method value()I
    .limit stack 1
    .limit locals 1
;---- [this]
.line 10
    aload_0
    getfield IncDec/s I
    ireturn
.end method

; >> METHOD 5 <<
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;	public static void main(String[] args){
;;		IncDec id=new IncDec(10);
;;		id.inc(3);
;;		id.dec(8);
;;		System.out.println(id.value());
;;	}
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
.method public static main([Ljava/lang/String;)V
    .limit stack 3
    .limit locals 2
;---- [args, id]
.line 13
    new IncDec
    dup
    bipush 10
    invokespecial IncDec/<init>(I)V
    astore_1
.line 14
    aload_1
    iconst_3
    invokevirtual IncDec/inc(I)V
.line 15
    aload_1
    bipush 8
    invokevirtual IncDec/dec(I)V
.line 16
    getstatic java/lang/System/out Ljava/io/PrintStream;
    aload_1
    invokevirtual IncDec/value()I
    invokevirtual java/io/PrintStream/println(I)V
.line 12
    return
.end method

// 元のJavaプログラム (ソースコード)
class IncDec{
private int s;
	IncDec(int a){ s=a; }

	void inc(int a){ s+=a; }
	void dec(int a){ s-=a; }

	int value(){return s;}

	public static void main(String[] args){
		IncDec id=new IncDec(10);
		id.inc(3);
		id.dec(8);
		System.out.println(id.value());
	}
}