이 예는 슬롯 무료체험 용어에서 도메인 검사라고도 알려진 참조 무결성을 시행합니다.더 보기...

#include "슬롯 무료체험h"
#include <지도>
#include <벡터>
#include <iostream>
#include <알고리즘>

기능
std::string	getDataText ()

int	메인(int argc, char *argv[])

자세한 설명

이 예는 슬롯 무료체험 용어에서 도메인 검사라고도 알려진 참조 무결성을 시행합니다.

슬롯 무료체험 C++ API는 기호의 지연된 도메인 검사를 수행합니다. 따라서 GAMSSet i에 아직 라벨이 포함되어 있지 않더라도 도메인 제어 매개변수(예: p(i))에 레코드를 추가할 수 있습니다. 사용자는 GAMSDatabase.CheckDomains(또는 GAMSSymbol.CheckDomains) 메소드를 호출하여 참조 무결성에 대한 명시적인 검사를 실행할 수 있습니다. 객체 지향 API는 참조 무결성을 위반하는 레코드에 액세스하는 방법을 제공합니다(자세한 내용은 GAMSDatabaseDomainViolation 참조). 도메인 검사는 GAMSDatabase.export 메소드를 통해 또는 GAMSJob.run 메소드에 제공된 데이터베이스에 대해 GAMSDatabase를 GDX 파일로 내보낼 때 암시적으로 수행됩니다. GAMSDatabase.SuppressAutoDomainChecking 속성을 통해 암시적 도메인 확인을 억제할 수 있습니다(데이터를 가져올 때 슬롯 무료체험에 맡김). 이 예에서는 도메인 확인을 트리거하는 방법과 참조 무결성을 위반하는 레코드에 액세스하는 방법을 보여줍니다.

파일의 정의domainchecking.cpp.

함수 문서

◆ getDataText()

std::string getDataText ( )

라인 정의34파일domainchecking.cpp.

{
    반환 "\n 세트"
           "i 통조림 식물 / 시애틀, 샌디에고 /; \n"
           " \n"
           "별칭 (i,ii); \n";
}

참조자메인().

◆ 메인()

int 메인	(	int	argc,
		문자 *	argv[] )

라인 정의58파일domainchecking.cpp.

{
cout <<"---------- 도메인 확인 중 ------------"<< endl;
 
    // C++ 데이터 구조를 사용하여 일부 데이터 정의
벡터<string> 식물"시애틀", "샌디에이고"};
벡터<string> 시장"뉴욕", "시카고", "토피카"};
map<string, double> 용량"시애틀", 350.0 }, { "샌디에고", 600.0 } };
map<string, double> 수요"뉴욕", 325.0 }, { "시카고", 300.0 }, { "토피카", 275.0 } };
맵<튜플<문자열, 문자열>,더블> 거리
make_tuple<문자열,문자열> ("시애틀",   "뉴욕"), 2.5 },
make_tuple<string,string> ("시애틀",   "시카고"),  1.7 },
make_tuple<string,string> ("시애틀",   "토피카"),   1.8 },
make_tuple<string,string> ("샌디에고", "뉴욕"), 2.5 },
make_tuple<string,string> ("샌디에고", "시카고"),  1.8 },
make_tuple<string,string> ("샌디에이고", "토피카"),   1.4 }
};
 
 
    시도해 보세요{
        GAMSWorkspaceInfowsInfo;
        if(인수 > 1)
wsInfo.setSystemDirectory(argv[1]);
        슬롯 무료체험작업공간ws(wsInfo);
        // C++ 데이터 구조의 데이터로 GAMSDatabase 준비
        슬롯 무료체험데이터베이스db = ws.addDatabase();
 
        // GAMSDatabase에 두 세트 추가
        GAMSSeti = DB.추가세트("나", "");
        for (자동식물: 식물)
i.추가기록(식물);
        GAMSSetj = db.추가세트("j", "");
        for (자동시장: 시장)
j.추가기록(시장);
 
        // 도메인 정보가 포함된 매개변수 추가
        슬롯 무료체험매개변수a = DB.addParameter("a", "공장의 생산 능력", i);
        for (문자열식물: 식물)
a.추가기록(식물).세트값(용량[공장]);
 
        // 도메인 위반이 발견되면 문제가 발생한 것입니다.
        if(!a.checkDomains()) {
cout <<"*** 다음에서 예기치 않은 도메인 위반이 발생했습니다."<< endl;
            반환1;
}
 
        // 완화된 도메인 정보로 매개변수 추가
        슬롯 무료체험매개변수b = db.addParameter("b", "경우에 따라 시장 j의 수요", "j");
        for (문자열시장: 시장)
b.추가기록(시장).세트값(수요[시장]);
 
        // 도메인 위반이 발견되면 뭔가 잘못되었습니다.
        if(!b.checkDomains()) {
cout <<"*** b에서 예기치 않은 도메인 위반"<< endl;
            반환1;
}
 
        // 도메인 정보가 포함된 2차원 매개변수 추가
        슬롯 무료체험매개변수d = DB.addParameter("d", "수천 마일 단위의 거리", i, j);
        for (자동t : 거리)
            자동튜플 = t.first;
            자동t1 = get<0>(튜플);
            자동t2 = get<1>(튜플);
d.추가기록(t1, t2).세트값(거리[튜플]);
}
 
        // 도메인 위반이 발견되면 문제가 발생한 것입니다.
        if(!d.checkDomains()) {
cout <<"*** d에서 예기치 않은 도메인 위반"<< endl;
            반환1;
}
 
        // 데이터베이스에서 도메인 위반이 발견되면 문제가 발생한 것입니다.
        if(!db.checkDomains()) {
cout <<"*** DB에서 예기치 않은 도메인 위반"<< endl;
            반환1;
}
 
        // "잘못된" 항목 생성
d.추가기록("시애틀", "아아").세트값(1);
d.추가기록("bb", "시애틀").세트값(1);
a.추가기록("아아").세트값(1);
a.추가기록("bb").세트값(1);
b.추가기록("아아").세트값(1);
b.추가기록("bb").세트값(1);
 
        // 이제 슬롯 무료체험 데이터베이스와 기호 a 및 d에 도메인 위반이 있어야 합니다.
        if(db.checkDomains()) {
cout <<"*** DB에 대한 도메인 위반이 인식되지 않음"<< endl;
            반환1;
}
        if(a.checkDomains()) {
cout <<"*** 인식되지 않는 도메인 위반"<< endl;
            반환1;
}
        if(d.checkDomains()) {
cout <<"*** d에 대한 도메인 위반이 인식되지 않음"<< endl;
            반환1;
}
 
        // 대조적으로 b는 실제 도메인 정보로만 정의되었으므로 도메인 위반이 표시되어서는 안 됩니다.
        if(!b.checkDomains()) {
cout <<"*** b에서 예기치 않은 도메인 위반"<< endl;
            반환1;
}
 
        // a의 경우 2개의 도메인 위반("aa" 및 "bb")이 표시됩니다.
        intdvCnt = 0;
cout <<"다음 도메인 위반:"<< endl;
        for (GAMSSymbolDomainViolationsdv: a.getSymbolDVs()) {
cout <<" > ";
            for (부울vi: sdv.violInd())
cout << (vi ?"사실입니다":"거짓");
cout <<"<> ";
            for (문자열k: sdv.violRec().keys())
cout << k <<" ";
cout <<"<<"<< endl;
dvCnt++;
}
        if(dvCnt != 2)
cout <<"*** a에 대한 도메인 위반 횟수는 2여야 하지만 "<< dvCnt << endl;
            반환1;
}
 
        // d의 경우 3개의 도메인 위반이 표시됩니다("Seattle", *"aa"*; *"bb"*, *"Seattle"*)
dvCnt = 0;
cout <<"d의 도메인 위반:"<< endl;
        for (GAMSSymbolDomainViolationsdv: d.getSymbolDVs()) {
cout <<" > ";
            for (부울vi: sdv.violInd())
cout << (vi ?"사실입니다":"거짓");
                if(vi)
dvCnt++;
}
cout <<"<> ";
            for (문자열k: sdv.violRec().keys())
cout << k <<" ";
cout <<"<<"<< endl;
}
        if(dvCnt != 3)
cout <<"*** a에 대한 도메인 위반 횟수는 3이어야 하지만 확인했습니다. "<< dvCnt << endl;
            반환1;
}
 
        // db의 경우 5개의 도메인 위반이 표시되어야 합니다(a와 d의 모든 항목)
dvCnt = 0;
cout <<"DB의 도메인 위반:"<< endl;
        for (GAMSDatabaseDomainViolationDDV: db.getDatabaseDVs()) {
cout <<" > "+ DDV.violSym().name() +": "<< endl;
            for (GAMSSymbolDomainViolationsdv: DDV.violRecs())
cout <<" ";
                for (부울vi: sdv.violInd())
cout << vi <<" ";
                    if(vi)
dvCnt++;
}
cout <<"<> ";
                for (문자열k: sdv.violRec().keys())
cout << k <<" ";
cout <<"<<"<< endl;
}
}
        if(dvCnt != 5)
cout <<"*** db에 대한 도메인 위반 횟수는 5여야 하지만 확인했습니다. "<< dvCnt << endl;
            반환1;
}
 
        // 이제 보고된 위반 기록의 양을 총 3개로 제한합니다.
dvCnt = 0;
cout <<"DB의 도메인 위반:"<< endl;
        for (GAMSDatabaseDomainViolationDDV: db.getDatabaseDVs(3)) {
cout <<" > "+ DDV.violSym().name() +": "<< endl;
            for (GAMSSymbolDomainViolationsdv: DDV.violRecs())
cout <<" ";
                for (부울vi: sdv.violInd())
cout << vi <<" ";
cout <<"<> ";
                for (문자열k: sdv.violRec().keys())
cout << k <<" ";
cout <<"<<"<< endl;
dvCnt++;
}
}
        if(dvCnt != 3)
cout <<"*** db에 대한 도메인 위반 횟수는 3이어야 하는데 "<< dvCnt << endl;
            반환1;
}
        // 이제 보고되는 위반 기록의 양을 기호당 1개로 제한합니다.
dvCnt = 0;
cout <<"DB의 도메인 위반:"<< endl;
        for (GAMSDatabaseDomainViolationDDV: db.getDatabaseDVs(0, 1)) {
cout <<" > "+ DDV.violSym().name() +": "<< endl;
            for (GAMSSymbolDomainViolationsdv: DDV.violRecs())
cout <<" ";
                for (부울vi: sdv.violInd())
cout << vi <<" ";
cout <<"<> ";
                for (문자열k: sdv.violRec().keys())
cout << k <<" ";
cout <<"<<"<< endl;
dvCnt++;
}
}
        if(dvCnt != 2)
cout <<"*** db에 대한 도메인 위반 횟수는 2여야 하는데 "<< dvCnt << endl;
            반환1;
}
 
        // 기본적으로 도메인 위반이 있는 GAMSDatabase를 내보낼 때 예외가 발생해야 합니다.
        부울sawException =거짓;
        시도해 보세요{
db.do내보내기("test.gdx");
}잡기(...) {
sawException =참;
db.setSuppressAutoDomainChecking(참);
db.do내보내기("test.gdx");
}
        if(!sawException)
cout <<"*** 기본적으로 도메인 위반이 포함된 슬롯 무료체험데이터베이스를 내보낼 수 없어야 합니다."<< endl;
            반환1;
}
 
        // gdx에서 도메인 정보가 포함된 매개변수 읽기
        슬롯 무료체험데이터베이스db2 = ws.addDatabaseFromGDX("test.gdx");
        슬롯 무료체험매개변수d2 = db2.getParameter("d");
 
        // 매개변수의 도메인은 GAMSSet i 및 GAMSSet j여야 합니다.
        for (GAMSDomain항목: d2.도메인()) {
            if(!item.isRelaxed())
                GAMSSetdomSet = item.getSet();
                if(domSet.이름() =="나") {
                    for (GAMSSetRecorduel: domSet)
                        if(find(plants.begin(), Plants.end(), uel.key(0)) == Plants.end())
cout <<"*** 예상치 못한 uel "+ uel.key(0) +" 도메인 i에서 발견됨"<< endl;
                            반환1;
}
}그밖에 if(domSet.name() =="j") {
                    용 (GAMSSetRecorduel: domSet)
                        if(find(markets.begin(), market.end(), uel.key(0)) == market.end())
cout <<"*** 예상치 못한 uel "+ uel.key(0) +" 도메인 j에서 발견됨"<< endl;
                            반환1;
}
}그밖에{
cout <<"*** GAMSSet i 및 j가 필요했지만 발견됨"+ domSet.name() << endl;
                    반환1;
}
}
            그밖에
{
cout <<"*** GAMSSet을 도메인으로 예상했지만 완화된 도메인을 찾았습니다. "+ item.name() << endl;
                반환1;
}
}
 
        /* *************************************************************** *
* 이 다음 섹션은 실제로 도메인 확인에 관한 것이 아니지만 우리는 *
* 특정 작업이 예상대로 작동하는지 확인하세요.          *
         * *************************************************************** */
 
        // 별칭을 세트로 읽어보세요
        GAMSJobjAlias = ws.addJobFromString(getDataText());
j별칭.실행();
        GAMSSetii = jAlias.outDB().getSet("ii");
cout <<"별칭 집합의 요소:"<< endl;
        용 (GAMSSetRecord항목: ii)
cout <<" > "+ item.key(0) << endl;
 
        슬롯 무료체험데이터베이스testDB = ws.addDatabase();
        GAMSSettestSet = 테스트DB.추가세트("테스트", 1);
 
        // 빈 UEL을 추가해 보세요
테스트세트.추가기록("");
cout <<"빈 UEL을 추가한 후 테스트 세트의 요소:"<< endl;
cout <<" > "<< 테스트세트.번호레코드() << endl;
 
        // 슬롯 무료체험는 선행 공백이 관련되어 있는 동안 보류 중인 공백을 제거합니다.
테스트세트.추가기록(" a ").setText("a");
cout <<"기록 'a'는 'a'와 동일해야 합니다:"<< endl;
cout <<" > "<< 테스트세트.findRecord("a").텍스트() << endl;
 
        // 슬롯 무료체험는 63자를 초과하는 UEL을 처리할 수 없습니다.
        // 괜찮을 것 같아요 ...
테스트세트.추가기록("123456789012345678901234567890123456789012345678901234567890123").setText("알았어");
        // ... 하지만 이건 아님
sawException =거짓;
        시도해 보세요{
테스트세트.추가기록("1234567890123456789012345678901234567890123456789012345678901234").setText("괜찮지 않음");
}잡기(...) {
sawException =참;
}
        if(!sawException)
cout <<"*** 63자를 초과하는 레코드를 추가하는 것은 불가능해야 합니다."<< endl;
            반환1;
}
 
        // 슬롯 무료체험는 255자를 초과하는 설명 텍스트를 처리할 수 없습니다.
테스트DB.추가세트("텍스트 확인", "12345678901234567890123456789012345678901234567890123 45678901234567890123456789012345678901234567890123456789012345678901 23456789012345678901234567890123456789012345678901234567890123456789 012345678901234567890123456789012345678901234567890123456789012345");
sawException =거짓;
        시도해 보세요{
테스트DB.추가세트("textNotOK", "123456789012345678901234567890123456789012345678901234 56789012345678901234567890123456789012345678901234567890123456789012 34567890123456789012345678901234567890123456789012345678901234567890 123456789012345678901234567890123456789012345678901234567890123456");
}잡기(...) {
sawException =참;
}
        if(!sawException)
cout <<"*** 255자를 초과하는 설명 텍스트를 추가하는 것은 불가능해야 합니다."<< endl;
            반환1;
}
 
테스트세트.추가기록("알았어").setText("12345678901234567890123456789012345678901234567890123 45678901234567890123456789012345678901234567890123456789012345678901 23456789012345678901234567890123456789012345678901234567890123456789 012345678901234567890123456789012345678901234567890123456789012345");
sawException =거짓;
        시도해 보세요{
테스트세트.추가기록("안 돼요").setText("123456789012345678901234567890123456789012345678901234 56789012345678901234567890123456789012345678901234567890123456789012 34567890123456789012345678901234567890123456789012345678901234567890 123456789012345678901234567890123456789012345678901234567890123456");
}잡기(...) {
sawException =사실;
}
        if(!sawException)
cout <<"*** 255자를 초과하는 설명 텍스트를 추가하는 것은 불가능해야 합니다."<< endl;
            반환1;
}
 
        // 슬롯 무료체험는 작은따옴표와 큰따옴표가 포함된 UEL을 처리할 수 있지만 동시에 처리할 수는 없습니다.
테스트세트.추가기록("인용문'");
testSet.추가기록("인용문\"");
sawException =거짓;
        시도해 보세요{
테스트세트.추가기록("인용문'\"");
}잡기(...) {
sawException =참;
}
        if(!sawException)
cout <<"*** 레코드에 작은따옴표와 큰따옴표를 추가하는 것은 불가능해야 합니다."<< endl;
            반환1;
}
 
테스트DB.do내보내기("test.gdx");
}잡기 (슬롯 무료체험예외&ex)
cout <<"슬롯 무료체험예외 발생: "<< ex.what() << endl;
}잡기(예외 &ex)
cout << ex.what() << endl;
}
 
    반환0;
}

기능

자세한 설명

함수 문서

◆ getDataText()

◆ 메인()