PTident

java.lang.Object

mini_java.PType

mini_java.PTident

class PTident extends PType

Field Summary

Fields

Modifier and Type

Field

Description

(package private) final Ident

x
Constructor Summary

Constructors

Constructor

Description

PTident(Ident x)
Method Summary

Modifier and Type

Method

Description

(package private) void

accept(Visitor v)

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

Field Details
- x
  
  final Ident x
Constructor Details
- PTident
  
  PTident(Ident x)
Method Details
- accept
  
  void accept(Visitor v)
  
  Specified by:
  
  accept in class PType