org.eclipse.amp.amf/tests/org.eclipse.amp.amf.gen.repast.test/src/org/metaabm/gen/test/MethodsAgentTestCase.java

package org.metaabm.gen.test;

import org.metaabm.gen.test.share.AgentTestCase;

/**
 * Methods Agent Java Implementation. Generated by metaabm system: Apr 13, 2008
 * 3:03:54 PM EDT in project: org.metaabm.gen.repast.test (testing)
 */
public class MethodsAgentTestCase extends AgentTestCase {

    /**
     * Constructs a new Methods Agent.
     */
    public MethodsAgentTestCase() {
        super("org.eclipse.amp.amf.gen.repast.test.target", "Methods Agent Test", "org.eclipse.amp.amf.gen.test.MethodsAgent");
    }

    public void setUp() {
        agentLoaded = new MethodsAgent();
    }

    public IMethodsAgent getAgent() {
        return (IMethodsAgent) agentLoaded;
    }

    public void testExistence() {
        assertNotNull(getAgent());
    }

    /**
     * .
     */
    public void testMethodsAgentRule() {
        /*
         * PROTECTED REGION ID(MethodsAgent_testMethodsAgentRule_Pre) ENABLED
         * START
         */
        // Pre-Conditions Here
        /* PROTECTED REGION END */
        getAgent().testMethodsAgentRule();

        /*
         * PROTECTED REGION ID(MethodsAgent_testMethodsAgentRule_Post) ENABLED
         * START
         */
        // Post-Conditions Here
        /* PROTECTED REGION END */
    }

    /**
     * .
     */
    public void methodAddsOnetoInteger1() {
        /*
         * PROTECTED REGION
         * ID(MethodAddsOnetoInteger1_methodAddsOnetoInteger1_Pre) ENABLED START
         */
        // Pre-Conditions Here
        /* PROTECTED REGION END */
        getAgent().methodAddsOnetoInteger1();

        /*
         * PROTECTED REGION
         * ID(MethodAddsOnetoInteger1_methodAddsOnetoInteger1_Post) ENABLED
         * START
         */
        // Post-Conditions Here
        /* PROTECTED REGION END */
    }

    /**
     * Gets the Integer 1 property for Methods Agent.
     * 
     * @return
     */
    public int getInteger1() {
        return getAgent().getInteger1();
    }

    /**
     * Sets the Integer 1 property for Methods Agent.
     * 
     * @param _integer1 the new Integer 1 value
     */
    public void setInteger1(int integer1) {
        getAgent().setInteger1(integer1);
    }
}