Marquage

java.lang.Object
- com.tech.app.models.gma.Marquage

```
public class Marquage
extends java.lang.Object
```
Classe qui permet d'ajouter des attributs à un marquage (@CoverabiltyGraph).

Field Summary

Fields
Modifier and Type Field Description

private java.util.Vector<java.lang.Integer> marquage

private boolean nouveau

Constructor Summary

Constructors
Constructor Description

Marquage(java.util.Vector<java.lang.Integer> marquage)
Constructeur pour un nouveau marquage.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.util.Vector<java.lang.Integer>`	`getMarquage()`	Méthode qui retourne le vecteur du marquage.
`boolean`	`isNouveau()`	Méthode qui permet de savoir si le marquage est un nouveau marquage (si on y a accedé ou non dans le graphe de couverture).
`void`	`setMarquage(java.util.Vector<java.lang.Integer> marquage)`	Méthode qui permet de donner un autre vecteur de marquage au marquage.
`void`	`setOld()`	Méthode qui permet de passer l'attribut nouveau du marquage à la valeur faux.
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - marquage
```
private java.util.Vector<java.lang.Integer> marquage
```
  - nouveau
```
private boolean nouveau
```
- Constructor Detail
  - Marquage
```
public Marquage(java.util.Vector<java.lang.Integer> marquage)
```
    Constructeur pour un nouveau marquage.
    
    Parameters:
    
    marquage - : le vecteur du marquage.
- Method Detail
  - getMarquage
```
public java.util.Vector<java.lang.Integer> getMarquage()
```
    Méthode qui retourne le vecteur du marquage.
    
    Returns:
    
    vecteur du marquage.
  - setMarquage
```
public void setMarquage(java.util.Vector<java.lang.Integer> marquage)
```
    Méthode qui permet de donner un autre vecteur de marquage au marquage.
    
    Parameters:
    
    marquage - : nouveau vecteur de marquage.
  - isNouveau
```
public boolean isNouveau()
```
    Méthode qui permet de savoir si le marquage est un nouveau marquage (si on y a accedé ou non dans le graphe de couverture).
    
    Returns:
    
    Vrai ou Faux.
  - setOld
```
public void setOld()
```
    Méthode qui permet de passer l'attribut nouveau du marquage à la valeur faux.
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object