INTERLIS 2.4;

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!
!! Modello di dati della misurazione ufficiale "federale" (DMAV)
!! descritto nella versione INTERLIS 2.4
!!
!! Ufficio federale di topografia (swisstopo)
!! Direzione federale delle misurazione catastali
!! CH-3084 Wabern
!! www.cadastre.ch und www.interlis.ch
!!
!! Versione: 1.1 TRANSLATION OF italiano
!! Nome del file: DMAV_ConfiniGiurisdizionaliMU_V1_0.ili
!!
!! Il presente modello di dati si applica al quadro di riferimento "Misurazione
!! nazionale 1903+ (MN95)".
!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

!! Tipo: M=modifica, I=integrazione, C=cancellazione
!!
!! Versione   | Linea | Tipo| Osservazione
!!------------|-------|-----|-------------------------------------------------------------

!!@ furtherInformation=https://www.cadastre-manual.admin.ch/de/modelldokumentation-dmav
!!@ IDGeoIV=228.3
!!@ technicalContact=mailto:dmav@swisstopo.ch
MODEL DMAV_ConfiniGiurisdizionaliMU_V1_0 (it)
  AT "https://models.geo.admin.ch/V_D/"
  VERSION "2026-01-31"
  TRANSLATION OF DMAV_HoheitsgrenzenAV_V1_0 ["2024-09-20"]
  =
  IMPORTS GeometryCHLV95_V2;
  IMPORTS CHAdminCodes_V2;
  IMPORTS DMAVTYM_Topologia_V1_0;

  TOPIC ConfiniGiurisdizionaliMU =
    BASKET OID AS INTERLIS.UUIDOID;
    OID AS INTERLIS.UUIDOID;

    CLASS TenutaAGiornoCG =
      IdentAN : MANDATORY TEXT*12;
      Identificatore : MANDATORY TEXT*12;
      Descrizione : MANDATORY TEXT*60;
      Perimetro : SURFACE WITH (STRAIGHTS, ARCS) VERTEX GeometryCHLV95_V2.Coord2
         WITHOUT OVERLAPS > 0.002;
      InVigore : MANDATORY DATETIME;
      ApprovatoIl : DATETIME;
      UNIQUE CH030101: IdentAN, Identificatore;
    END TenutaAGiornoCG;

    CLASS Comune =
      Nome : MANDATORY TEXT*60;
      NumeroUFS : MANDATORY CHAdminCodes_V2.CHMunicipalityCode;
      Fittizio : MANDATORY BOOLEAN;
    END Comune;

    ASSOCIATION Origine_Comune =
      Origine -- {1} TenutaAGiornoCG;
      Comune_in_creazione -- {0..*} Comune;
    END Origine_Comune;

    ASSOCIATION Eliminazione_Comune =
      Eliminazione -- {0..1} TenutaAGiornoCG;
      Comune_in_eliminazione -- {0..*} Comune;
    END Eliminazione_Comune;

    ASSOCIATION Predecessore_Successore_Comune =
      Predecessore -- {0..1} Comune;
      Successore -- {0..*} Comune;
    END Predecessore_Successore_Comune;

    VIEW Comune_Valevole
      PROJECTION OF Comune;
      WHERE
        DEFINED(Comune->Origine) AND DEFINED(Comune->Origine->ApprovatoIl) AND (NOT (DEFINED(Comune->Eliminazione)) OR NOT (DEFINED(Comune->Eliminazione->ApprovatoIl)));
      =
      ALL OF Comune;
      UNIQUE CH030601: NumeroUFS;
    END Comune_Valevole;

    CLASS ConfineComunale =
      Geometria : MANDATORY SURFACE WITH (STRAIGHTS, ARCS) VERTEX GeometryCHLV95_V2.Coord2
         WITHOUT OVERLAPS > 0.002;
      Fittizio : MANDATORY BOOLEAN;
      Contestato : GeometryCHLV95_V2.MultiLine;
      provvisorio : GeometryCHLV95_V2.MultiLine;
      NonPrecisato : GeometryCHLV95_V2.MultiLine;
      MANDATORY CONSTRAINT CH030701: NOT (DEFINED(Contestato)) OR DMAVTYM_Topologia_V1_0.covers(THIS, >>Geometria, THIS, >>Contestato);
      MANDATORY CONSTRAINT CH030702: NOT (DEFINED(provvisorio)) OR DMAVTYM_Topologia_V1_0.covers(THIS, >>Geometria, THIS, >>provvisorio);
      MANDATORY CONSTRAINT CH030703: NOT (DEFINED(NonPrecisato)) OR DMAVTYM_Topologia_V1_0.covers(THIS, >>Geometria, THIS, >>NonPrecisato);
    END ConfineComunale;

    ASSOCIATION Origine_ConfineComunale =
      Origine -- {1} TenutaAGiornoCG;
      ConfineComunale_in_creazione -- {0..*} ConfineComunale;
    END Origine_ConfineComunale;

    ASSOCIATION Eliminazione_ConfineComunale =
      Eliminazione -- {0..1} TenutaAGiornoCG;
      ConfineComunale_in_eliminazione -- {0..*} ConfineComunale;
    END Eliminazione_ConfineComunale;

    ASSOCIATION Predecessore_Successore_ConfineComunale =
      Predecessore -- {0..1} ConfineComunale;
      Successore -- {0..*} ConfineComunale;
    END Predecessore_Successore_ConfineComunale;

    VIEW ConfineComunale_Valevole
      PROJECTION OF ConfineComunale;
      WHERE
        DEFINED(ConfineComunale->Origine) AND DEFINED(ConfineComunale->Origine->ApprovatoIl) AND (NOT (DEFINED(ConfineComunale->Eliminazione)) OR NOT (DEFINED(ConfineComunale->Eliminazione->ApprovatoIl)));
      =
      ALL OF ConfineComunale;
      SET CONSTRAINT CH031101:
        INTERLIS.areAreas(ALL, UNDEFINED, >>Geometria);
    END ConfineComunale_Valevole;

    ASSOCIATION ComuneConfineComunale =
      Comune -- {1} Comune;
      ConfineComunale -- {1..*} ConfineComunale;
      MANDATORY CONSTRAINT CH031201: ConfineComunale->Fittizio == Comune->Fittizio;
    END ComuneConfineComunale;

    CLASS ParteConfineComunaleProg =
      Geometria : MANDATORY GeometryCHLV95_V2.Line;
    END ParteConfineComunaleProg;

    ASSOCIATION Origine_ParteConfineComunaleProg =
      Origine -- {1} TenutaAGiornoCG;
      ParteConfineComunaleProg_in_creazione -- {0..*} ParteConfineComunaleProg;
    END Origine_ParteConfineComunaleProg;

    ASSOCIATION Eliminazione_ParteConfineComunaleProg =
      Eliminazione -- {0..1} TenutaAGiornoCG;
      ParteConfineComunaleProg_in_eliminazione -- {0..*} ParteConfineComunaleProg;
    END Eliminazione_ParteConfineComunaleProg;

    ASSOCIATION ComuneParteConfineComunaleProg =
      Comune -- {1} Comune;
      ParteConfineComunaleProg -- {0..*} ParteConfineComunaleProg;
    END ComuneParteConfineComunaleProg;

    ASSOCIATION Predecessore_Successore_ParteConfineComunaleProg =
      Predecessore -- {0..1} ParteConfineComunaleProg;
      Successore -- {0..*} ParteConfineComunaleProg;
    END Predecessore_Successore_ParteConfineComunaleProg;

    VIEW ParteConfineComunale_InProgetto
      PROJECTION OF ParteConfineComunaleProg;
      WHERE
        DEFINED(ParteConfineComunaleProg->Origine) AND NOT (DEFINED(ParteConfineComunaleProg->Origine->ApprovatoIl));
      =
      ALL OF ParteConfineComunaleProg;
    END ParteConfineComunale_InProgetto;

    CLASS ParteConfineDistrettuale =
      Geometria : MANDATORY GeometryCHLV95_V2.Line;
      Validita : MANDATORY (
        in_vigore,
        contestato,
        provvisorio,
        non_precisato
      );
    END ParteConfineDistrettuale;

    ASSOCIATION Origine_ParteConfineDistrettuale =
      Origine -- {1} TenutaAGiornoCG;
      ParteConfineDistrettuale_in_creazione -- {0..*} ParteConfineDistrettuale;
    END Origine_ParteConfineDistrettuale;

    ASSOCIATION Eliminazione_ParteConfineDistrettuale =
      Eliminazione -- {0..1} TenutaAGiornoCG;
      ParteConfineDistrettuale_in_eliminazione -- {0..*} ParteConfineDistrettuale;
    END Eliminazione_ParteConfineDistrettuale;

    ASSOCIATION Predecessore_Successore_ParteConfineDistrettuale =
      Predecessore -- {0..1} ParteConfineDistrettuale;
      Successore -- {0..*} ParteConfineDistrettuale;
    END Predecessore_Successore_ParteConfineDistrettuale;

    VIEW ParteConfineDistrettuale_Valevole
      PROJECTION OF ParteConfineDistrettuale;
      WHERE
        DEFINED(ParteConfineDistrettuale->Origine) AND DEFINED(ParteConfineDistrettuale->Origine->ApprovatoIl) AND (NOT (DEFINED(ParteConfineDistrettuale->Eliminazione)) OR NOT (DEFINED(ParteConfineDistrettuale->Eliminazione->ApprovatoIl)));
      =
      ALL OF ParteConfineDistrettuale;
    END ParteConfineDistrettuale_Valevole;

    CLASS ParteConfineCantonale =
      Geometria : MANDATORY GeometryCHLV95_V2.Line;
      Validita : MANDATORY (
        in_vigore,
        contestato,
        provvisorio,
        non_precisato
      );
    END ParteConfineCantonale;

    ASSOCIATION Origine_ParteConfineCantonale =
      Origine -- {1} TenutaAGiornoCG;
      ParteConfineCantonale_in_creazione -- {0..*} ParteConfineCantonale;
    END Origine_ParteConfineCantonale;

    ASSOCIATION Eliminazione_ParteConfineCantonale =
      Eliminazione -- {0..1} TenutaAGiornoCG;
      ParteConfineCantonale_in_eliminazione -- {0..*} ParteConfineCantonale;
    END Eliminazione_ParteConfineCantonale;

    ASSOCIATION Predecessore_Successore_ParteConfineCantonale =
      Predecessore -- {0..1} ParteConfineCantonale;
      Successore -- {0..*} ParteConfineCantonale;
    END Predecessore_Successore_ParteConfineCantonale;

    VIEW ParteConfineCantonale_Valevole
      PROJECTION OF ParteConfineCantonale;
      WHERE
        DEFINED(ParteConfineCantonale->Origine) AND DEFINED(ParteConfineCantonale->Origine->ApprovatoIl) AND (NOT (DEFINED(ParteConfineCantonale->Eliminazione)) OR NOT (DEFINED(ParteConfineCantonale->Eliminazione->ApprovatoIl)));
      =
      ALL OF ParteConfineCantonale;
    END ParteConfineCantonale_Valevole;

  END ConfiniGiurisdizionaliMU;

END DMAV_ConfiniGiurisdizionaliMU_V1_0.