source: src/AST/Label.hpp @ 4c48be0

ADTast-experimentalpthread-emulation
Last change on this file since 4c48be0 was 3f681b1, checked in by Andrew Beach <ajbeach@…>, 2 years ago

Added the new invariant checks. There seems to be a few unset locations in the multi-level exit code.

  • Property mode set to 100644
File size: 1.4 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// Label.hpp --
8//
9// Author           : Aaron B. Moss
10// Created On       : Wed May 8 13:00:00 2019
11// Last Modified By : Aaron B. Moss
12// Last Modified On : Wed May 8 13:00:00 2019
13// Update Count     : 1
14//
15
16#pragma once
17
18#include <iostream>
19#include <string>
20#include <vector>
21
22#include "Node.hpp"
23#include "Common/CodeLocation.h"
24
25namespace ast {
26
27class Attribute;
28
29/// Named labels for statements
30class Label {
31public:
32        CodeLocation location;
33        std::string name;
34        std::vector< ptr<Attribute> > attributes;
35
36        Label( const CodeLocation& loc, const std::string& name = "",
37                std::vector<ptr<Attribute>> && attrs = std::vector<ptr<Attribute>>{} )
38        : location( loc ), name( name ), attributes( attrs ) {}
39
40        operator std::string () const { return name; }
41        bool empty() const { return name.empty(); }
42};
43
44inline bool operator== ( const Label& l1, const Label& l2 ) { return l1.name == l2.name; }
45inline bool operator!= ( const Label& l1, const Label& l2 ) { return !(l1 == l2); }
46inline bool operator<  ( const Label& l1, const Label& l2 ) { return l1.name < l2.name; }
47
48inline std::ostream& operator<< ( std::ostream& out, const Label& l ) { return out << l.name; }
49
50}
51
52// Local Variables: //
53// tab-width: 4 //
54// mode: c++ //
55// compile-command: "make install" //
56// End: //
Note: See TracBrowser for help on using the repository browser.