palate 0.3.8

File type detection combining tft and hyperpolyglot
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151

@contributor{
  name = First Contributor
  email = first@example.org
}
@contributor{
  name = Second Contributor
  email = second@example.org
}
@documentation{
Data type and function definitions for basic types
}

declaration template pan/types;

include 'pan/legacy';

@documentation{
This type implements a date/time format consistent with
ASN.1 typically used by LDAP.  The actual specification is the
"GeneralizedTime" format as specified on page 38 of the X.208
ITU-T recommendation and references within.

Ex: 20040825120123Z
    20040825120123+0100
    20040825120123,5
    20040825120123.5
    20040825120123.5-0123
}
function is_asndate = {
    # Check cardinality and type of argument.
    if (ARGC != 1 || !is_string(ARGV[0]))
        error("usage: is_asndate(string)");

    # Match the datetime pattern, extracting interesting fields.
    result = matches(ARGV[0],
        '^(\d{4})(\d{2})(\d{2})(\d{2})(\d{2})(\d{2})(?:[,\.](\d+))?([Zz]|(?:[-+]\d{2}\d{2}))?$');

    if (length(result) >= 7) {
        # Do further tests on various components of the date.
        # NOTE: the to_long(to_double(x)) construct below is to avoid having
        # the to_long function treat strings with leading zeros as octal
        # numbers.  E.g. to_long("09") will throw an exception because '9' is
        # not a valid octal digit.
        year = to_long(result[1]);
        month = to_long(to_double(result[2]));
        day = to_long(to_double(result[3]));
        hour = to_long(to_double(result[4]));
        minute = to_long(to_double(result[5]));
        second = to_long(to_double(result[6]));

        frac = 0;
        if (length(result) > 7) {
            frac = to_long(to_double(result[7]));
        };

        zone = '+0000';
        if (length(result) > 8) {
            zone = result[8];
        };

        # Check the range of months.
        if (month < 1 || month > 12) {
            error("is_asndate: invalid month");
            return(false);
        };

        # Check the range of days.
        if (day < 1 || day > 31) {
            error("is_asndate: invalid day");
            return(false);
        };

        # Be more specific on the days in each month.
        if (month == 4 || month == 6 || month == 9 || month == 11) {
            if (day > 30) {
                error("is_asndate: invalid day");
            };
        };

        # February is always a bother.  Too lazy to check that the leap
        # years have been specified correctly.
        if (month == 2 && day > 29) {
            error("is_asndate: invalid day");
        };

        # Check the time.
        if (hour > 23) {
            error("is_asndate: invalid hour");
            return(false);
        };
        if (minute > 59) {
            error("is_asndate: invalid minute");
            return(false);
        };

        # Allow for leap seconds here (since it is easy).
        if (second > 60) {
            error("is_asndate: invalid minute");
            return(false);
        };

        # Check the time zone format.
        if (zone != "Z" && zone != "z") {
            tz = matches(zone, '^[-+](\d{2})(\d{2})$');

            hoffset = to_long(to_double(tz[1]));
            moffset = to_long(to_double(tz[2]));

            if (hoffset >= 12) {
                error("is_asndate: invalid hour offset in time zone");
                return(false);
            };
            if (moffset > 59) {
                error("is_asndate: invalid minute offset in time zone");
                return(false);
            };
        };

    } else {
        error("is_asndate: invalid format for time");
        return(false);
    };

    # If it gets to this point, then the date must be OK.
    true;
};


type type_asndate = string with {
    is_asndate(SELF);
};

@documentation{
    desc = Type that enforces the existence of a named interface.
}
type valid_interface = string with {
    if (exists(format('/system/network/interfaces/%s', SELF))) {
        return(true);
    };
    foreach(ifc; attr; value('/system/network/interfaces')) {
        if (attr['device'] == SELF){
            return(true);
        };
    };
    false;
};

@documentation{
    desc = CPU architectures understood by Quattor
}
type cpu_architecture = string with match (SELF, '^(i386|ia64|x86_64|sparc|aarch64|ppc64(le)?)$');