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_Fondi_V1_1.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.4
!!@ technicalContact=mailto:dmav@swisstopo.ch
MODEL DMAV_Fondi_V1_1 (it)
  AT "https://models.geo.admin.ch/V_D/"
  VERSION "2026-01-31"
  TRANSLATION OF DMAV_Grundstuecke_V1_1 ["2026-01-31"]
  =
  IMPORTS Units;
  IMPORTS GeometryCHLV95_V2;
  IMPORTS DMAVTYM_Geometria_V1_0;
  IMPORTS DMAVTYM_Topologia_V1_0;
  IMPORTS DMAVTYM_Demarcazione_V1_0;
  IMPORTS DMAVTYM_Qualita_V1_0;
  IMPORTS DMAVTYM_Grafica_V1_0;

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

    DOMAIN
      GenereFondo = (
        bene_immobile,
        diritto_per_se_stante_e_permanente,
        miniera
      );
      GenereMutazione = (
        Normale,
        MutazioneProgetto,
        ChiusuraMutazioneProgetto
      );

    CLASS TenutaAGiornoFO =
      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;
      GenereMutazione : MANDATORY GenereMutazione;
      InVigore : MANDATORY DATETIME;
      IscrizioneRegistroFondiario : DATETIME;
      UNIQUE CH040101: IdentAN, Identificatore;
    END TenutaAGiornoFO;

    CLASS PuntoConfine =
      IdentAN : TEXT*12;
      Numero : TEXT*12;
      Geometria : MANDATORY GeometryCHLV95_V2.Coord2;
      GeometriaQuota : DMAVTYM_Geometria_V1_0.Quota;
      PrecisionePlanimetrica : MANDATORY DMAVTYM_Qualita_V1_0.Precisione;
      EAffidabilePlanimetria : MANDATORY DMAVTYM_Qualita_V1_0.Attendibilita;
      PrecisioneQuota : DMAVTYM_Qualita_V1_0.Precisione;
      EAffidabileQuota : DMAVTYM_Qualita_V1_0.Attendibilita;
      Segno : MANDATORY DMAVTYM_Demarcazione_V1_0.Materiale;
      EPuntoConfineGiurisdizionale : MANDATORY BOOLEAN;
      EVecchioCippoSpeciale : MANDATORY BOOLEAN;
      EDefinitoEsattamente : MANDATORY BOOLEAN;
      OriSimbolo : DMAVTYM_Grafica_V1_0.Rotazione;
      MANDATORY CONSTRAINT CH040201: DEFINED(GeometriaQuota) == DEFINED(PrecisioneQuota);
      MANDATORY CONSTRAINT CH040202: DEFINED(GeometriaQuota) == DEFINED(EAffidabileQuota);
      MANDATORY CONSTRAINT CH040203: EDefinitoEsattamente OR Segno == #NonMaterializzato;
    END PuntoConfine;

    ASSOCIATION Origine_PuntoConfine =
      Origine -- {1} TenutaAGiornoFO;
      PuntoConfine_in_creazione -- {0..*} PuntoConfine;
    END Origine_PuntoConfine;

    ASSOCIATION Eliminazione_PuntoConfine =
      Eliminazione -- {0..1} TenutaAGiornoFO;
      PuntoConfine_in_eliminazione -- {0..*} PuntoConfine;
    END Eliminazione_PuntoConfine;

    VIEW PuntoConfine_Valevole
      PROJECTION OF PuntoConfine;
      WHERE
        DEFINED(PuntoConfine->Origine) AND DEFINED(PuntoConfine->Origine->IscrizioneRegistroFondiario) AND (NOT (DEFINED(PuntoConfine->Eliminazione)) OR NOT (DEFINED(PuntoConfine->Eliminazione->IscrizioneRegistroFondiario)));
      =
      ALL OF PuntoConfine;
      UNIQUE CH040601: Geometria;
    END PuntoConfine_Valevole;

    CLASS Fondo =
      IdentAN : MANDATORY TEXT*12;
      Numero : MANDATORY TEXT*12;
      EGRID : TEXT*14;
      EContestato : MANDATORY BOOLEAN;
      ECompleto : MANDATORY BOOLEAN;
      GenereFondo : MANDATORY GenereFondo;
      PosizioneTesto : BAG {0..*} OF DMAVTYM_Grafica_V1_0.PosizioneTesto;
      Fittizio : MANDATORY BOOLEAN;
      SuperficieTotale : 1 .. 999999999 [Units.m2];
      MANDATORY CONSTRAINT CH040701: ECompleto == NOT (DEFINED(SuperficieTotale));
    END Fondo;

    ASSOCIATION Origine_Fondo =
      Origine -- {1} TenutaAGiornoFO;
      Fondo_in_creazione -- {0..*} Fondo;
    END Origine_Fondo;

    ASSOCIATION Eliminazione_Fondo =
      Eliminazione -- {0..1} TenutaAGiornoFO;
      Fondo_in_eliminazione -- {0..*} Fondo;
    END Eliminazione_Fondo;

    VIEW Fondo_Valevole
      PROJECTION OF Fondo;
      WHERE
        DEFINED(Fondo->Origine) AND DEFINED(Fondo->Origine->IscrizioneRegistroFondiario) AND (NOT (DEFINED(Fondo->Eliminazione)) OR NOT (DEFINED(Fondo->Eliminazione->IscrizioneRegistroFondiario)));
      =
      ALL OF Fondo;
      UNIQUE CH041101: IdentAN, Numero;
      UNIQUE CH041102: EGRID;
    END Fondo_Valevole;

    CLASS BeneImmobile =
      NumeroParteFondo : TEXT*12;
      Geometria : MANDATORY SURFACE WITH (STRAIGHTS, ARCS) VERTEX GeometryCHLV95_V2.Coord2
         WITHOUT OVERLAPS > 0.002;
      Fittizio : MANDATORY BOOLEAN;
      Superficie : MANDATORY 1 .. 999999999 [Units.m2];
      Contestato : GeometryCHLV95_V2.MultiLine;
      StandardQualita : MANDATORY DMAVTYM_Qualita_V1_0.StandardQualita;
      MANDATORY CONSTRAINT CH041201: NOT (DEFINED(Contestato)) OR DMAVTYM_Topologia_V1_0.covers(THIS, >>Geometria, THIS, >>Contestato);
    END BeneImmobile;

    ASSOCIATION FondoBeneImmobile =
      Fondo -<#> {1} Fondo;
      BeneImmobile -- {0..*} BeneImmobile;
      MANDATORY CONSTRAINT CH041301: Fondo->GenereFondo == #bene_immobile;
      MANDATORY CONSTRAINT CH041302: BeneImmobile->Fittizio == Fondo->Fittizio;
    END FondoBeneImmobile;

    CONSTRAINTS OF BeneImmobile=
      MANDATORY CONSTRAINT CH041401: DEFINED(Contestato) == Fondo->EContestato;
      MANDATORY CONSTRAINT CH041402: NOT (DEFINED(NumeroParteFondo)) == Fondo->ECompleto;
    END;

    VIEW BeneImmobile_Valevole
      PROJECTION OF BeneImmobile;
      WHERE
        DEFINED(BeneImmobile->Fondo->Origine) AND DEFINED(BeneImmobile->Fondo->Origine->IscrizioneRegistroFondiario) AND (NOT (DEFINED(BeneImmobile->Fondo->Eliminazione)) OR NOT (DEFINED(BeneImmobile->Fondo->Eliminazione->IscrizioneRegistroFondiario)));
      =
      ALL OF BeneImmobile;
      SET CONSTRAINT CH041501:
        INTERLIS.areAreas(ALL, UNDEFINED, >>Geometria);
    END BeneImmobile_Valevole;

    CLASS DirittoPerSeStanteEPermanente =
      NumeroParteFondo : TEXT*12;
      Geometria : MANDATORY SURFACE WITH (STRAIGHTS, ARCS) VERTEX GeometryCHLV95_V2.Coord2
         WITHOUT OVERLAPS > 0.002;
      Superficie : MANDATORY 1 .. 999999999 [Units.m2];
      Contestato : GeometryCHLV95_V2.MultiLine;
      EDirittoDiSuperficie : BOOLEAN;
      MANDATORY CONSTRAINT CH041601: NOT (DEFINED(Contestato)) OR DMAVTYM_Topologia_V1_0.covers(THIS, >>Geometria, THIS, >>Contestato);
    END DirittoPerSeStanteEPermanente;

    ASSOCIATION FondoDirittoPerSeStantePermanente =
      Fondo -<#> {1} Fondo;
      DirittoPerSeStanteEPermanente -- {0..*} DirittoPerSeStanteEPermanente;
      MANDATORY CONSTRAINT CH041701: Fondo->GenereFondo == #diritto_per_se_stante_e_permanente;
      MANDATORY CONSTRAINT CH041702: NOT (Fondo->Fittizio);
    END FondoDirittoPerSeStantePermanente;

    CONSTRAINTS OF DirittoPerSeStanteEPermanente=
      MANDATORY CONSTRAINT CH041801: DEFINED(Contestato) == Fondo->EContestato;
      MANDATORY CONSTRAINT CH041802: NOT (DEFINED(NumeroParteFondo)) == Fondo->ECompleto;
    END;

    VIEW DirittoPerSeStantePermanente_Valevole
      PROJECTION OF DirittoPerSeStanteEPermanente;
      WHERE
        DEFINED(DirittoPerSeStanteEPermanente->Fondo->Origine) AND DEFINED(DirittoPerSeStanteEPermanente->Fondo->Origine->IscrizioneRegistroFondiario) AND (NOT (DEFINED(DirittoPerSeStanteEPermanente->Fondo->Eliminazione)) OR NOT (DEFINED(DirittoPerSeStanteEPermanente->Fondo->Eliminazione->IscrizioneRegistroFondiario)));
      =
      ALL OF DirittoPerSeStanteEPermanente;
    END DirittoPerSeStantePermanente_Valevole;

    CLASS Miniera =
      NumeroParteFondo : TEXT*12;
      Geometria : MANDATORY SURFACE WITH (STRAIGHTS, ARCS) VERTEX GeometryCHLV95_V2.Coord2
         WITHOUT OVERLAPS > 0.002;
      Superficie : MANDATORY 1 .. 999999999 [Units.m2];
      Contestato : GeometryCHLV95_V2.MultiLine;
      MANDATORY CONSTRAINT CH042001: NOT (DEFINED(Contestato)) OR DMAVTYM_Topologia_V1_0.covers(THIS, >>Geometria, THIS, >>Contestato);
    END Miniera;

    ASSOCIATION FondoMiniera =
      Fondo -<#> {1} Fondo;
      Miniera -- {0..*} Miniera;
      MANDATORY CONSTRAINT CH042101: Fondo->GenereFondo == #miniera;
      MANDATORY CONSTRAINT CH042102: NOT (Fondo->Fittizio);
    END FondoMiniera;

    CONSTRAINTS OF Miniera=
      MANDATORY CONSTRAINT CH042201: DEFINED(Contestato) == Fondo->EContestato;
      MANDATORY CONSTRAINT CH042202: NOT (DEFINED(NumeroParteFondo)) == Fondo->ECompleto;
    END;

    VIEW Miniera_Valevole
      PROJECTION OF Miniera;
      WHERE
        DEFINED(Miniera->Fondo->Origine) AND DEFINED(Miniera->Fondo->Origine->IscrizioneRegistroFondiario) AND (NOT (DEFINED(Miniera->Fondo->Eliminazione)) OR NOT (DEFINED(Miniera->Fondo->Eliminazione->IscrizioneRegistroFondiario)));
      =
      ALL OF Miniera;
    END Miniera_Valevole;

    CONSTRAINTS OF Fondo=
      MANDATORY CONSTRAINT CH042401: DEFINED(SuperficieTotale) == ((INTERLIS.objectCount(BeneImmobile) + INTERLIS.objectCount(DirittoPerSeStanteEPermanente) + INTERLIS.objectCount(Miniera)) > 1);
      MANDATORY CONSTRAINT CH042402: (INTERLIS.objectCount(BeneImmobile) > 0 AND INTERLIS.objectCount(DirittoPerSeStanteEPermanente) == 0 AND INTERLIS.objectCount(Miniera) == 0) OR (INTERLIS.objectCount(BeneImmobile) == 0 AND INTERLIS.objectCount(DirittoPerSeStanteEPermanente) > 0 AND INTERLIS.objectCount(Miniera) == 0) OR (INTERLIS.objectCount(BeneImmobile) == 0 AND INTERLIS.objectCount(DirittoPerSeStanteEPermanente) == 0 AND INTERLIS.objectCount(Miniera) > 0);
    END;

  END Fondi;

END DMAV_Fondi_V1_1.