ERdelete_frame

java.lang.Object
- mini_c.ERTL
- - mini_c.ERdelete_frame

```
class ERdelete_frame
extends ERTL
```

Field Summary

Fields
Modifier and Type Field Description

mini_c.Label l
- Fields inherited from class mini_c.ERTL
  emptySet

Constructor Summary

Constructors
Constructor Description

ERdelete_frame(mini_c.Label l)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`(package private) void`	`accept(ERTLVisitor v)`
`(package private) java.util.Set<mini_c.Register>`	`def()`
`(package private) mini_c.Label[]`	`succ()`
`java.lang.String`	`toString()`
`(package private) java.util.Set<mini_c.Register>`	`use()`

Methods inherited from class mini_c.ERTL
pair, singleton, triple

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

- Field Detail
  - l
```
public mini_c.Label l
```
- Constructor Detail
  - ERdelete_frame
```
ERdelete_frame(mini_c.Label l)
```
- Method Detail
  - accept
```
void accept(ERTLVisitor v)
```
    Specified by:
    
    accept in class ERTL
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - succ
```
mini_c.Label[] succ()
```
    Specified by:
    
    succ in class ERTL
  - def
```
java.util.Set<mini_c.Register> def()
```
    Specified by:
    
    def in class ERTL
  - use
```
java.util.Set<mini_c.Register> use()
```
    Specified by:
    
    use in class ERTL