;
; Output created by JasminView on Jul 8, 2002
; 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 Counter.java

.class  Counter
.super  java/lang/Object

.field private c I
.field private r Ljava/util/Random;

; >> METHOD 1 <<
.method <init>()V
    .limit stack 3
    .limit locals 1
;----
.line 9
    aload_0
    invokespecial java/lang/Object/<init>()V
.line 6
    aload_0
    iconst_0
    putfield Counter/c I
.line 9
    aload_0
    new java/util/Random
    dup
    invokespecial java/util/Random/<init>()V
    putfield Counter/r Ljava/util/Random;
    return
.end method

; >> METHOD 2 <<
.method synchronized inc()V
    .limit stack 3
    .limit locals 3
;----
.line 13
    aload_0
    getfield Counter/c I
    istore_1
.line 14
Label1:
    aload_0
    getfield Counter/r Ljava/util/Random;
    bipush 100
    invokevirtual java/util/Random/nextInt(I)I
    i2l
    invokestatic java/lang/Thread/sleep(J)V
Label2:
    goto Label4
Label3:
    astore_2
.line 15
Label4:
    aload_0
    iload_1
    iconst_1
    iadd
    putfield Counter/c I
.line 16
    return
;----
.catch java/lang/Exception from Label1 to Label2 using Label3
.end method

; >> METHOD 3 <<
.method val()I
    .limit stack 1
    .limit locals 1
;----
.line 18
    aload_0
    getfield Counter/c I
    ireturn
.end method