This repository has been archived by the owner on Jun 19, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Synchronized.java
92 lines (82 loc) · 2.01 KB
/
Synchronized.java
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
package org.sireum.bakar.xml;
import javax.xml.bind.annotation.XmlAccessType;
import javax.xml.bind.annotation.XmlAccessorType;
import javax.xml.bind.annotation.XmlAttribute;
import javax.xml.bind.annotation.XmlElement;
import javax.xml.bind.annotation.XmlType;
/**
* <p>Java class for Synchronized complex type.
*
* <p>The following schema fragment specifies the expected content contained within this class.
*
* <pre>
* <complexType name="Synchronized">
* <complexContent>
* <restriction base="{http://www.w3.org/2001/XMLSchema}anyType">
* <sequence>
* <element name="sloc" type="{}Source_Location"/>
* </sequence>
* <attribute name="checks" type="{http://www.w3.org/2001/XMLSchema}string" />
* </restriction>
* </complexContent>
* </complexType>
* </pre>
*
*
*/
@XmlAccessorType(XmlAccessType.FIELD)
@XmlType(name = "Synchronized", propOrder = {
"sloc"
})
public class Synchronized
extends Base
{
@XmlElement(required = true)
protected SourceLocation sloc;
@XmlAttribute(name = "checks")
protected String checks;
/**
* Gets the value of the sloc property.
*
* @return
* possible object is
* {@link SourceLocation }
*
*/
public SourceLocation getSloc() {
return sloc;
}
/**
* Sets the value of the sloc property.
*
* @param value
* allowed object is
* {@link SourceLocation }
*
*/
public void setSloc(SourceLocation value) {
this.sloc = value;
}
/**
* Gets the value of the checks property.
*
* @return
* possible object is
* {@link String }
*
*/
public String getChecks() {
return checks;
}
/**
* Sets the value of the checks property.
*
* @param value
* allowed object is
* {@link String }
*
*/
public void setChecks(String value) {
this.checks = value;
}
}