import models/SimpleClassDiagrams as SimpleClassDiagrams

SimpleClassDiagrams CoreFormalism {
    Class String {
        $
            if (bool_not(is_physical_string(self))):
                return "String has no string value"!
            else:
                return "OK"!
        $
    }

    Class Permissions {
        $
            if (bool_not(is_physical_string(self))):
                return "Permissions has no string value"!
            else:
                return "OK"!
        $
    }

    Class User {
        name : String
    }

    Class Group {
        name : String
    }

    Association ownedBy (Group, User) {}

    Class Model {
        name : String
        location : String
        permissions : Permissions
    }

    Class Transformation {
        name : String
        location : String
    }

    Class ModelTransformation : Transformation {
    }

    Class ActionLanguage : Transformation {
    }
}

export CoreFormalism to models/CoreFormalism