Java Koa_stateKey 예제들

예제 #1

파일: EJSCMPKoa_stateHomeBean.java 프로젝트: mffrias/KOA

 // @ requires generalEJB != null;
 // @ ensures \result != null;
 // @ signals (Exception) false;
 public Object keyFromBean(javax.ejb.EntityBean generalEJB) {
   ie.ucd.srg.koa.controller.beans.Koa_stateBean tmpEJB =
       (ie.ucd.srg.koa.controller.beans.Koa_stateBean) generalEJB;
   ie.ucd.srg.koa.controller.beans.Koa_stateKey keyClass =
       new ie.ucd.srg.koa.controller.beans.Koa_stateKey();
   keyClass.id = tmpEJB.id;
   return keyClass;
 }

예제 #2

파일: EJSCMPKoa_stateHomeBean.java 프로젝트: mffrias/KOA

 // @ requires f0 != null;
 // @ ensures \result != null;
 // @ signals (Exception) false;
 public ie.ucd.srg.koa.controller.beans.Koa_stateKey keyFromFields(java.lang.Integer f0) {
   ie.ucd.srg.koa.controller.beans.Koa_stateKey keyClass =
       new ie.ucd.srg.koa.controller.beans.Koa_stateKey();
   keyClass.id = f0;
   return keyClass;
 }