apis/examples_java/DomainCheck_8java_source.html

패키지com.슬롯 게임examples.domain;


가져오기java.io.파일;

가져오기java.util.Arrays;

가져오기java.util.HashMap;

가져오기java.util.List;

가져오기java.util.Map;

가져오기java.util.Vector;


가져오기 com.게임.API.슬롯 게임데이터베이스;

가져오기 com.감스.API.GAMSDatabaseDomainViolation;

가져오기 com.감스.API.슬롯 게임예외;

가져오기 com.감스.API.GAMSJob;

가져오기 com.게임.API.슬롯 게임매개변수;

가져오기 com.게임.API.GAMSSet;

가져오기 com.게임.API.GAMSSetRecord;

가져오기 com.게임.API.GAMSSymbolDomainViolation;

가져오기 com.게임.API.슬롯 게임작업공간;

가져오기 com.게임.API.GAMSWorkspaceInfo;


공개 클래스도메인체크{


     공개 정적 무효메인(문자열[] 인수)

         // 명령줄 인수에서 작업공간 정보 확인

         GAMSWorkspaceInfowsInfo =신규 GAMSWorkspaceInfo();

         if(args.length > 0)

wsInfo.setSystemDirectory( 인수[0] );

         // 디렉토리 생성

파일 WorkingDirectory =신규파일(System.getProperty("user.dir"), "도메인검사");

workingDirectory.mkdir();

wsInfo.setWorkingDirectory(workingDirectory.getAbsolutePath());

         // 작업공간 생성

         슬롯 게임작업공간ws =신규 슬롯 게임작업공간( wsInfo );


         // C# 데이터 구조를 사용하여 일부 데이터 정의

List<String> 식물 = Arrays.asList("시애틀", "샌디에이고");

List<String> 시장 = Arrays.asList("뉴욕", "시카고", "토피카");

Map<String, Double> 용량 =신규HashMap<String, Double>();

{

용량.put("시애틀", Double.valueOf(350.0));

용량.put("샌디에이고", Double.valueOf(600.0));

}

Map<String, Double> 수요 =신규HashMap<String, Double>();

{

수요.put("뉴욕", Double.valueOf(325.0));

수요.put("시카고", Double.valueOf(300.0));

수요.put("토피카", Double.valueOf(275.0));

}


지도<벡터<문자열>, 이중> 거리 =신규HashMap<Vector<String>, Double>();

{

거리.put(신규Vector<String>( Arrays.asList(신규문자열[]"시애틀", "뉴욕") ), Double.valueOf(2.5));

거리.put(신규Vector<String>( Arrays.asList(신규문자열[]"시애틀", "시카고") ), Double.valueOf(1.7));

거리.put(신규Vector<String>( Arrays.asList(신규문자열[]"시애틀", "토피카") ), Double.valueOf(1.8));

거리.put(신규Vector<String>( Arrays.asList(신규문자열[]"샌디에고", "뉴욕") ), Double.valueOf(2.5));

거리.put(신규Vector<String>( Arrays.asList(신규문자열[]"샌디에고", "시카고") ), Double.valueOf(1.8));

거리.put(신규Vector<String>( Arrays.asList(신규문자열[]"샌디에고", "토피카") ), Double.valueOf(1.4));

}


         // C# 데이터 구조의 데이터로 GAMSDatabase 준비

         슬롯 게임데이터베이스db = ws.추가데이터베이스();


         // GAMSDatabase에 두 세트 추가

         GAMSSeti = db.추가세트("나", "");

         for(문자열 p : 식물)

i.addRecord(p);

         GAMSSetj = DB.추가세트("j", "");

         for(문자열 m : 시장)

j.addRecord(m);


         // 도메인 정보가 포함된 매개변수 추가

         슬롯 게임매개변수a = DB.addParameter("a", "공장의 생산 능력", i);

         for(문자열 p : 식물)

a.addRecord(p).setValue(capacity.get(p).doubleValue() );

         // 도메인 위반이 발견되면 문제가 발생한 것입니다.

         if(!a.checkDomains())

{

System.out.println("***중단*** 다음에서 예기치 않은 도메인 위반이 발생했습니다.");

System.exit(1);

}

         // 완화된 도메인 정보로 매개변수 추가

         슬롯 게임매개변수b = DB.addParameter("b", "경우에 따라 시장 j의 수요", "j");

         for(문자열 m : 시장)

b.addRecord(m).setValue(demand.get(m).doubleValue());


         // 도메인 위반이 발견되면 뭔가 잘못되었습니다.

         if(!b.checkDomains())

System.out.println("***중단*** b에서 예기치 않은 도메인 위반");

System.exit(1);

}


         // 도메인 정보가 포함된 2차원 매개변수 추가

객체[] 도메인 =신규객체[]  i, j ;

         슬롯 게임매개변수d = db.addParameter("d", "수천 마일 단위의 거리", 도메인);

         for(Vector<String> t : distance.keySet())

문자열[] 키 =신규문자열[t.size()];

t.toArray(키);

d.addRecord( 키 ).setValue( 거리.get(t).doubleValue() ) ;

}


         // 도메인 위반이 발견되면 뭔가 잘못되었습니다.

         if(!d.checkDomains())

System.out.println("***중단*** d에서 예기치 않은 도메인 위반");

System.exit(1);

}


         // 데이터베이스에서 도메인 위반이 발견되면 문제가 발생한 것입니다.

         if(!db.checkDomains()) {

System.out.println("***중단*** DB에서 예기치 않은 도메인 위반");

System.exit(1);

}


         // "잘못된" 항목 생성

d.addRecord(신규문자열[]"시애틀", "아아").setValue( 1 );

d.addRecord(신규문자열[]"bb", "시애틀").setValue( 1 );


a.addRecord("아아").setValue( 1 );

a.addRecord("bb").setValue( 1 );

b.addRecord("아아").setValue( 1 );

b.addRecord("bb").setValue( 1 );


         // 이제 슬롯 게임 데이터베이스와 기호 a 및 d에 도메인 위반이 있어야 합니다.

         if(db.checkDomains()) {

System.out.println("***중단*** db에 대한 도메인 위반이 인식되지 않음");

System.exit(1);

}

         if(a.checkDomains())

System.out.println("***중단*** 인식되지 않는 도메인 위반");

System.exit(1);

}


         if(d.checkDomains())

System.out.println("***중단*** d에 대한 도메인 위반이 인식되지 않음");

System.exit(1);

}


         // 반면에 b는 완화된 도메인 정보로만 정의되었으므로 도메인 위반이 표시되어서는 안 됩니다.

         if(!b.checkDomains())

System.out.println("***중단*** b에서 예기치 않은 도메인 위반");

System.exit(1);

}


         // a의 경우 2개의 도메인 위반("aa" 및 "bb")이 표시되어야 합니다.

         intdvCnt = 0;

System.out.println("다음의 기호 도메인 위반:");

         for(GAMSSymbolDomainViolation항목 : a.getSymbolDomainViolations(0))

System.out.print(" > [");

             for(부울item1 : item.getViolationArray())

System.out.print(item1 +" ");

System.out.print("] <> ");

             for(문자열 item2 : item.getRecord().getKeys())

System.out.print(item2 +" ");

System.out.println("<<");

dvCnt++;

}

         if(dvCnt != 2)

System.out.print("***중단*** a에 대해 3개의 도메인 위반 기록이 예상되었으나 ["이(가) 발견되었습니다.+ dvCnt+"]");

System.exit(1);

}


         // d의 경우 3개의 도메인 위반이 표시됩니다("Seattle", *"aa"*; *"bb"*, *"Seattle"*)

dvCnt = 0;

System.out.println("d의 기호 도메인 위반:");

         for(GAMSSymbolDomainViolation항목 : d.getSymbolDomainViolations(0))

System.out.print(" > [");

             for(부울item1 : item.getViolationArray())

System.out.print(item1 +" ");

                 if(항목1)

dvCnt++;

}

System.out.print("] <> ");

             for(문자열 item2 : item.getRecord().getKeys())

System.out.print(item2 +" ");

System.out.println("<<");

}

         if(dvCnt != 3)

System.out.println("***중단*** d에 대해 3개의 도메인 위반 기록이 예상되었으나 발견됨 ["+ dvCnt+"]");

System.exit(1);

}


         // db의 경우 5개의 도메인 위반이 표시되어야 합니다(모두 a와 d의 위반)

dvCnt = 0;

System.out.println("최대 레코드 수 제한 없이 db의 데이터베이스 도메인 위반:");

         for(GAMSDatabaseDomainViolation항목 : db.getDatabaseDomainViolations(0,0)) {

             용(GAMSSymbolDomainViolation정보 : item.getSymbolDomainViolations())

System.out.print(" > "+ item.getSymbol().getName() +": [");

                for(부울요소 : info.getViolationArray())

System.out.print(요소 +" ");

                 if(요소)

dvCnt++;

}

System.out.print("] <> ");

                용(문자열 키 : info.getRecord().getKeys())

System.out.print(키 +" ");

System.out.println(" <<");

}

}

         if(dvCnt != 5)

System.out.println("***중단*** DB에 5개의 도메인 위반 기록이 예상되었으나 발견됨 ["+ dvCnt+"]");

System.exit(1);

}


         // 이제 보고된 위반 기록의 양을 총 3개로 제한합니다.

dvCnt = 0;

System.out.println("3개 이하의 위반 기록이 있는 db의 데이터베이스 도메인 위반:");

         for(GAMSDatabaseDomainViolation항목 : db.getDatabaseDomainViolations(3,0)) {

             for(GAMSSymbolDomainViolation정보: item.getSymbolDomainViolations())

System.out.print(" > "+ item.getSymbol().getName() +": [");

                for(부울요소 : info.getViolationArray())

System.out.print(요소 +" ");

                    if(요소)

dvCnt++;

}

System.out.print("] <> ");

                용(문자열 키 : info.getRecord().getKeys())

System.out.print(키 +" ");

System.out.println(" <<");

}

}

         if(dvCnt != 3)

System.out.println("***중단*** DB에 3개의 도메인 위반 기록이 예상되었으나 발견됨 ["+ dvCnt+"]");

System.exit(1);

}


         // 이제 보고되는 위반 기록의 양을 기호당 1개로 제한합니다.

dvCnt = 0;

System.out.println("1 기호당 1개 이하의 위반 기록이 있는 db의 데이터베이스 도메인 위반:");

         for(GAMSDatabaseDomainViolation항목 : db.getDatabaseDomainViolations(0, 1)) {

             for(GAMSSymbolDomainViolation정보: item.getSymbolDomainViolations())

System.out.print(" > "+ item.getSymbol().getName() +": [");

                for(부울요소 : info.getViolationArray())

System.out.print(요소 +" ");

}

System.out.print("] <> ");

                for(문자열 키 : info.getRecord().getKeys())

System.out.print(키 +" ");

System.out.println(" <<");

}

dvCnt++;

}

         if(dvCnt != 2)

System.out.println("***중단*** a에 대해 2개의 도메인 위반 기록이 예상되었으나 ["이(가) 발견되었습니다.+ dvCnt+"]");

System.exit(1);

}


         // 기본적으로 도메인 위반이 있는 GAMSDatabase를 내보낼 때 예외가 발생해야 합니다.

         부울sawException =거짓;

         시도해 보세요{

db.내보내기("test.gdx");

}잡기(예외 e)

sawException =참;

db.suppressAutoDomainChecking(사실);

db.내보내기("test.gdx");

}

         if(!sawException)

System.out.println("***중단*** 기본적으로 도메인 위반이 포함된 슬롯 게임데이터베이스를 내보낼 수 없어야 합니다.");

System.exit(1);

}


         // gdx에서 도메인 정보가 포함된 매개변수 읽기

         슬롯 게임데이터베이스db2 = ws.addDatabaseFromGDX("test.gdx");

         슬롯 게임매개변수d2 = db2.getParameter("d");


         // 매개변수의 도메인은 GAMSSet i 및 GAMSSet j여야 합니다.

         용(객체 항목 : d2.getDomains())

             if(항목 인스턴스GAMSSet) {

                 if (((GAMSSet)item).getName().equals("나")) {

                     for(GAMSSetRecord우엘 : (GAMSSet)항목)

                         if(!plants.contains(uel.getKey(0)))

System.out.println("***중단*** 예상치 못한 uel "+ uel.getKey(0) +" 도메인 i에서 발견됨");

System.exit(1);

}

}

                 그밖에 if (((GAMSSet)item).getName().equals("j")) {

                     for(GAMSSetRecord우엘 : (GAMSSet)항목)

                         if(!markets.contains(uel.getKey(0)))

System.out.println("***중단*** 예상치 못한 uel "+ uel.getKey(0) +" 도메인 j에서 발견됨");

System.exit(1);

}

}

                 그밖에

{

System.out.println("***중단*** GAMSSet i 및 j가 필요했지만 발견됨"+ ((GAMSSet)item).getName());

System.exit(1);

}

}

             그밖에

{

System.out.println("***중단*** GAMSSet을 도메인으로 예상했지만 완화된 도메인을 찾았습니다. "+ (문자열)항목);

System.exit(1);

}

}


        /* *************************************************************** *

* 이 다음 섹션은 실제로 도메인 확인에 관한 것이 아니지만 우리는 *

* 특정 작업이 예상대로 작동하는지 확인하세요.          *

         * *************************************************************** */


         // 별칭을 세트로 읽어보세요

         GAMSJobaliasJob = ws.addJobFromString(aliasData);

aliasJob.실행();

         GAMSSetii = aliasJob.아웃DB().getSet("ii");

System.out.println("별칭 집합의 요소:");

         for(GAMSSetRecord항목 : ii)

System.out.println(" > "+ item.getKey(0));


         슬롯 게임데이터베이스testDB = ws.추가데이터베이스();

         GAMSSettestSet = 테스트DB.추가세트("테스트", 1);


         // 빈 UEL을 추가해 보세요

testSet.addRecord("");

System.out.println("빈 UEL을 추가한 후 테스트 세트의 요소:");

System.out.println(" > "+ testSet.getNumberOfRecords());


         // 슬롯 게임는 선행 공백이 관련되어 있는 동안 보류 중인 공백을 제거합니다.

testSet.addRecord(" a ").setText("a");

System.out.println("' a ' 레코드는 ' a'와 동일해야 합니다:");

System.out.println(" > "+ testSet.findRecord("a").getText());


         // 슬롯 게임는 63자를 초과하는 UEL을 처리할 수 없습니다.

         // 괜찮을 것 같아요 ...

testSet.addRecord("123456789012345678901234567890123456789012345678901234567890123").setText("알았어");

         // ... 하지만 이건 아님

         시도{

testSet.addRecord("1234567890123456789012345678901234567890123456789012345678901234").setText("괜찮지 않음");

System.out.println("*** 63자를 초과하는 레코드를 추가하는 것은 불가능해야 합니다.");

System.exit(1);

}잡기(슬롯 게임예외e)


         // 슬롯 게임는 255자를 초과하는 설명 텍스트를 처리할 수 없습니다.

테스트DB.추가세트("텍스트 확인", "12345678901234567890123456789012345678901234567890123 45678901234567890123456789012345678901234567890123456789012345678901 23456789012345678901234567890123456789012345678901234567890123456789 012345678901234567890123456789012345678901234567890123456789012345");

         시도해 보세요{

테스트DB.추가세트("textNotOK", "123456789012345678901234567890123456789012345678901234 56789012345678901234567890123456789012345678901234567890123456789012 34567890123456789012345678901234567890123456789012345678901234567890 123456789012345678901234567890123456789012345678901234567890123456");

System.out.println("*** 255자를 초과하는 설명 텍스트를 추가하는 것은 불가능해야 합니다.");

System.exit(1);

}잡기(슬롯 게임예외e)


testSet.addRecord("알았어").setText("12345678901234567890123456789012345678901234567890123 45678901234567890123456789012345678901234567890123456789012345678901 23456789012345678901234567890123456789012345678901234567890123456789 012345678901234567890123456789012345678901234567890123456789012345");

         시도{

testSet.addRecord("안돼").setText("123456789012345678901234567890123456789012345678901234 56789012345678901234567890123456789012345678901234567890123456789012 34567890123456789012345678901234567890123456789012345678901234567890 123456789012345678901234567890123456789012345678901234567890123456");

System.out.println("*** 255자를 초과하는 설명 텍스트를 추가하는 것은 불가능해야 합니다.");

System.exit(1);

}잡다(슬롯 게임예외e)


         // 슬롯 게임는 작은따옴표와 큰따옴표가 포함된 UEL을 처리할 수 있지만 동시에 처리할 수는 없습니다.

testSet.addRecord("인용문'");

testSet.addRecord("인용문\"");

         시도{

testSet.addRecord("인용문'\"");

System.out.println("*** 레코드에 작은따옴표와 큰따옴표를 추가하는 것은 불가능해야 합니다.");

System.exit(1);

}잡기(슬롯 게임예외e)


테스트DB.내보내기("test.gdx");


System.out.println("성공적으로 종료되었습니다!");

System.exit(0);

}


     정적문자열 aliasData =

         "세트 \n"+

         " 나는 식물 통조림 / 시애틀, 샌디에고 /; \n"+

         " \n"+

         "별칭 (i,ii); \n";


}


com::슬롯 게임::api::GAMSDatabaseDomainViolation

com::슬롯 게임::api::GAMSDatabase

com::슬롯 게임::api::GAMSDatabase::getParameter
GAMSParameter getParameter(문자열 식별자)

com::슬롯 게임::api::GAMSDatabase::addSet
GAMSSet addSet(문자열 식별자, 정수 차원)

com::슬롯 게임::api::GAMSDatabase::suppressAutoDomainChecking
void 억제AutoDomainChecking(부울 값)

com::슬롯 게임::api::GAMSDatabase::addParameter
GAMSParameter addParameter(문자열 식별자, 정수 차원)

com::슬롯 게임::api::GAMSDatabase::export
내보내기 무효()

com::슬롯 게임::api::GAMSDatabase::getDatabaseDomainViolations
목록< GAMSDatabaseDomainViolation > getDatabaseDomainViolations(int maxViolation, int maxViolationPerSymbol)

com::슬롯 게임::api::GAMSDatabase::checkDomains
부울 checkDomains()

com::슬롯 게임::api::GAMSDatabase::getSet
GAMSSet getSet(문자열 식별자)

com::슬롯 게임::api::GAMSException

com::슬롯 게임::api::GAMSJob

com::슬롯 게임::api::GAMSJob::OutDB
슬롯 게임데이터베이스 OutDB()

com::슬롯 게임::api::GAMSJob::run
void run()

com::슬롯 게임::api::GAMSParameter

com::슬롯 게임::api::GAMSSetRecord

com::슬롯 게임::api::GAMSSet

com::슬롯 게임::api::GAMSSymbolDomainViolation

com::슬롯 게임::api::GAMSWorkspaceInfo

com::슬롯 게임::api::GAMSWorkspaceInfo::setSystemDirectory
void setSystemDirectory(문자열 디렉터리)

com::슬롯 게임::api::GAMSWorkspaceInfo::setWorkingDirectory
void setWorkingDirectory(문자열 디렉터리)

com::슬롯 게임::api::GAMSWorkspace

com::슬롯 게임::api::GAMSWorkspace::addDatabaseFromGDX
GAMSDatabase addDatabaseFromGDX(String gdxFileName)

com::슬롯 게임::api::GAMSWorkspace::addJobFromString
GAMSJob addJobFromString(문자열 소스)

com::슬롯 게임::api::GAMSWorkspace::addDatabase
GAMSDatabase addDatabase()

com::슬롯 게임::examples.domain.DomainCheck
이 예는 슬롯 게임 용어에서 도메인 검사라고도 알려진 참조 무결성을 시행합니다.
정의 DomainCheck.java:36

com::슬롯 게임::api

com::슬롯 게임

com