Express rules: test case for instance comparison

This commit is contained in:
Thomas Krijnen
2023-02-05 13:08:46 +01:00
parent 6b7aeb90c7
commit 9813dda778
5 changed files with 54 additions and 0 deletions
@@ -0,0 +1,10 @@
ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('ViewDefinition [CoordinationView]'),'2;1');
FILE_NAME('','2023-02-05T12:05:57',(),(),'IfcOpenShell v0.7.0-07ee62eb9','IfcOpenShell v0.7.0-07ee62eb9','');
FILE_SCHEMA(('IFC4'));
ENDSEC;
DATA;
#1=IFCTEXTSTYLEFONTMODEL('Comic Sans',('Comic Sans'),$,$,$,IFCDESCRIPTIVEMEASURE('large'));
ENDSEC;
END-ISO-10303-21;
@@ -0,0 +1,10 @@
ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('ViewDefinition [CoordinationView]'),'2;1');
FILE_NAME('','2023-02-05T12:05:57',(),(),'IfcOpenShell v0.7.0-07ee62eb9','IfcOpenShell v0.7.0-07ee62eb9','');
FILE_SCHEMA(('IFC4'));
ENDSEC;
DATA;
#1=IFCTEXTSTYLEFONTMODEL('Comic Sans',('Comic Sans'),$,$,$,IFCLENGTHMEASURE(-1.));
ENDSEC;
END-ISO-10303-21;
@@ -0,0 +1,14 @@
import ifcopenshell
fns = [
(False, lambda f: f.createIfcLengthMeasure(-1.)),
(True, lambda f: f.createIfcLengthMeasure(1.)),
(True, lambda f: f.createIfcPositiveLengthMeasure(1.)),
(False, lambda f: f.createIfcDescriptiveMeasure('large'))
]
for valid, fn in fns:
f = ifcopenshell.file(schema="IFC4")
fs = fn(f)
f.createIfcTextStyleFontModel('Comic Sans', ('Comic Sans',), FontSize=fs)
f.write(f"{'pass' if valid else 'fail'}-font-{fs.is_a()}-{fs[0]}.ifc")
@@ -0,0 +1,10 @@
ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('ViewDefinition [CoordinationView]'),'2;1');
FILE_NAME('','2023-02-05T12:05:57',(),(),'IfcOpenShell v0.7.0-07ee62eb9','IfcOpenShell v0.7.0-07ee62eb9','');
FILE_SCHEMA(('IFC4'));
ENDSEC;
DATA;
#1=IFCTEXTSTYLEFONTMODEL('Comic Sans',('Comic Sans'),$,$,$,IFCLENGTHMEASURE(1.));
ENDSEC;
END-ISO-10303-21;
@@ -0,0 +1,10 @@
ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('ViewDefinition [CoordinationView]'),'2;1');
FILE_NAME('','2023-02-05T12:05:57',(),(),'IfcOpenShell v0.7.0-07ee62eb9','IfcOpenShell v0.7.0-07ee62eb9','');
FILE_SCHEMA(('IFC4'));
ENDSEC;
DATA;
#1=IFCTEXTSTYLEFONTMODEL('Comic Sans',('Comic Sans'),$,$,$,IFCPOSITIVELENGTHMEASURE(1.));
ENDSEC;
END-ISO-10303-21;